A comparison of two synchronizing concepts

DOI10.1007/BF00288684zbMATH Open0226.68027OpenAlexW2168149256MaRDI QIDQ2549239FDOQ2549239

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)

• Process synchronization in high-level languages
• Two implementations of the conditional critical region using split binary semaphore
• Comments on: A comparison of two synchronizing concepts by P. B. Hansen
• The temporal semantics of concurrent programs
• On the design and specification of message oriented programs
• PROCESSES AND THEIR INTERACTIONS
• Automata and concurrency
• Proving assertions about parallel programs
• 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
• Some comments on Concurrent readers and writers

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)