An implementation of mutual inclusion

DOI10.1016/0020-0190(86)90046-3zbMath0601.68026OpenAlexW2024302394MaRDI QIDQ1081297

Rob R. Hoogerwoord

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1016/0020-0190(86)90046-3

zbMATH Keywords

correctnesssynchronisationmutual inclusiondeadlockparallel composition of two cyclic programssemaphore operations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (5)

An asynchronous message-passing distributed algorithm for the generalized local critical section problem ⋮ Concurrency and atomicity ⋮ On the family of critical section problems ⋮ Formal derivation of an algorithm for distributed phase synchronization ⋮ Self-stabilizing distributed algorithm for local mutual inclusion

Cites Work

• An axiomatic proof technique for parallel programs
• Unnamed Item

This page was built for publication: An implementation of mutual inclusion