An implementation of mutual inclusion
From MaRDI portal
Publication:1081297
DOI10.1016/0020-0190(86)90046-3zbMath0601.68026MaRDI QIDQ1081297
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
correctness; synchronisation; mutual inclusion; deadlock; parallel composition of two cyclic programs; semaphore operations
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
On the family of critical section problems, Formal derivation of an algorithm for distributed phase synchronization, Concurrency and atomicity, An asynchronous message-passing distributed algorithm for the generalized local critical section problem, Self-stabilizing distributed algorithm for local mutual inclusion
Cites Work