Preview
Unable to display preview. Download preview PDF.
References
Dijkstra, E.W.: Hierarchical Ordering of Sequential Processes; Acta Informatica 1 (1971): p. 115–138
Hoare, C.A.R.: Monitors: An Operating System Structuring Concept; CACM Vol. 17 No. 10 (1974); p. 549–557
Lautenbach, K. and Wedde, H.: Loosely Coupled Systems — a New Formal Concept to Generate Control Mechanisms for Concurrent Processes: GMD-ISF, Technical Report (1976)
Wedde, H.: Lose Kopplung von Systemkomponenten (German); Berichte der GMD No. 96: Bonn 1975
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lautenbach, K., Wedde, H. (1976). Generating control mechanisms by restrictions. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_208
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_208
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive