Abstract
We define observable systems and controls of these systems as a way to restrict their set of behaviours. Some applications to the deadlock problem are given.
Preview
Unable to display preview. Download preview PDF.
References
A. Arnold. Sémantique des processus communicants. Rapport de Recherche no 1, Laboratoire d'Informatique, Université de Poitiers (1979).
G. Kahn. The semantics of a simple language for parallel processing. Proc. IFIP Congress (1974).
R.M. Keller. Formal verification of parallel programs. Comm. Assoc. Comput. Mach, (1976) 371–384.
M. Nivat. On the synchronization of processes. Rapport LITP no 79-34, Université de Paris VII (1979).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arnold, A., Nivat, M. (1980). Controlling behaviours of systems : Some basic concepts and some applications. In: Dembiński, P. (eds) Mathematical Foundations of Computer Science 1980. MFCS 1980. Lecture Notes in Computer Science, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022498
Download citation
DOI: https://doi.org/10.1007/BFb0022498
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10027-0
Online ISBN: 978-3-540-38194-5
eBook Packages: Springer Book Archive