Abstract
Interaction Systems (IS) are a tool for the specification of concurrent systems. They allow a progressive construction of solutions by introducing mutual exclusion constraints and excitation relations. This tool seems to be interesting because it uses very few primitive notions and provides fair analysis facilities. However, the following critiques can be formulated as far as its adequacy for solving problem study 1 (PSl) is concerned.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
H.J. GENRICH and K. LAUTENBACH “The analysis of distributed systems by means of predicate/transition-nets” in Semantics of Concurrent Computation, LNCS, Vol. 70, pp. 123–146, 1980.
R.M. KELLER “Formal verification of parallel programs” Comm. ACM, 19, 7, July 1976, pp. 371–384.
R. MILNER “On relating synchrony and asynchrony” CSR-75-80, University of Edinburgh, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sifakis, J. (1983). COMMENTS on Schiffers. In: Wedde, H. (eds) Adequate Modeling of Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69208-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-69208-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12567-9
Online ISBN: 978-3-642-69208-6
eBook Packages: Springer Book Archive