A comparison of two synchronizing concepts

DOI10.1007/BF00288684MaRDI QIDQ2549239zbMATH OpenOpenAlexFDO

Authors Per Brinch Hansen

Publication date 1971

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00288684

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cited in

(12)

• The temporal semantics of concurrent programs
• Some comments on Concurrent readers and writers
• Proving assertions about parallel programs
• Two implementations of the conditional critical region using split binary semaphore
• Automata and concurrency
• Comments on: A comparison of two synchronizing concepts by P. B. Hansen
• On the design and specification of message oriented programs
• PROCESSES AND THEIR INTERACTIONS
• Process synchronization in high-level languages
• Information streams sharing a finite buffer: Other solutions
• Proving properties of interacting processes
• On the efficient implementation of conditional critical regions, and the construction of monitors

This page was built for publication: A comparison of two synchronizing concepts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2549239)