Abstract
A design calculus for concurrent systems or, more specifically, for reactive systems, will need the following components: •A (logical) language for the property oriented specification of systems. •A system description language to represent abstract and more concrete design specifications. •Models for concurrent systems which are used as semantic domains for both the logical language and the system description language.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
