Advertisement

Generating control mechanisms by restrictions

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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