Generating control mechanisms by restrictions

  • K. Lautenbach
  • H. Wedde
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Dijkstra, E.W.: Hierarchical Ordering of Sequential Processes; Acta Informatica 1 (1971): p. 115–138CrossRefGoogle Scholar
  2. [2]
    Hoare, C.A.R.: Monitors: An Operating System Structuring Concept; CACM Vol. 17 No. 10 (1974); p. 549–557Google Scholar
  3. [3]
    Lautenbach, K. and Wedde, H.: Loosely Coupled Systems — a New Formal Concept to Generate Control Mechanisms for Concurrent Processes: GMD-ISF, Technical Report (1976)Google Scholar
  4. [4]
    Wedde, H.: Lose Kopplung von Systemkomponenten (German); Berichte der GMD No. 96: Bonn 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • K. Lautenbach
    • 1
  • H. Wedde
    • 1
  1. 1.Gesellschaft fuer Mathematik und DatenverarbeitungSt. Augustin 1

Personalised recommendations