A comparison of two synchronizing concepts
From MaRDI portal
Publication:2549239
DOI10.1007/BF00288684zbMath0226.68027OpenAlexW2168149256MaRDI QIDQ2549239
Publication date: 1971
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00288684
Related Items (12)
The temporal semantics of concurrent programs ⋮ Process synchronization in high-level languages ⋮ PROCESSES AND THEIR INTERACTIONS ⋮ Information streams sharing a finite buffer: Other solutions ⋮ Proving assertions about parallel programs ⋮ 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 ⋮ Two implementations of the conditional critical region using split binary semaphore ⋮ On the design and specification of message oriented programs ⋮ Comments on: A comparison of two synchronizing concepts by P. B. Hansen ⋮ Automata and concurrency
This page was built for publication: A comparison of two synchronizing concepts
