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.
The work presented here has been partially supported by the Esprit Basic Research Action
This is a preview of subscription content, log in via an institution to check access.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goltz, U. (1991). Causality based models for the design of concurrent systems. In: Baeten, J.C.M., Groote, J.F. (eds) CONCUR '91. CONCUR 1991. Lecture Notes in Computer Science, vol 527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54430-5_79
Download citation
DOI: https://doi.org/10.1007/3-540-54430-5_79
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54430-2
Online ISBN: 978-3-540-38357-4
eBook Packages: Springer Book Archive