Two implementations of the conditional critical region using split binary semaphore

DOI10.1016/0020-0190(79)90145-5zbMath0402.68019OpenAlexW1994742503MaRDI QIDQ1255779

K. Appert

Publication date: 1979

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90145-5

zbMATH Keywords

Concurrent ProcessesConditional Critical RegionProgramming ConstructSplit Binary Semaphore

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Cites Work

• A comparison of two synchronizing concepts
• Proof of a structured program: 'The sieve of Eratosthenes'

This page was built for publication: Two implementations of the conditional critical region using split binary semaphore