On the efficient implementation of conditional critical regions and the construction of monitors

No abstract is available for this paper.

• Publication year

  1976

• Venue

  Acta Informatica

• Publication date

  1976-09-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/BF00288656
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Cooperating sequential processes

  2002influential reference
• Towards a theory of parallel programming

  2002cited by this paper
• Monitors

  1974cited by this paper
• Complete model for representing the coordination of asynchronous processes

  1974cited by this paper
• Operating System Principles

  1973cited by this paper
• A comparison of two synchronizing concepts

  1972cited by this paper
• Structured multiprogramming

  1972cited by this paper
• Concurrent control with “readers” and “writers”

  1971cited by this paper

• 11-1-1983 Specification of Synchronizing Processes

  2016cites this paper
• Multiscale Models of Flow and Transport

  2016cites this paper
• Detecting Atomic Sequences of Predicates in Distributed Computations

  2007cites this paper
• Delay-independent design for distributed systems - Software Engineering, IEEE Transactions on

  2004cites this paper
• Language support for lightweight transactions

  2003cites this paper
• Language support for lightweight transactions

  2003cites this paper