Symmetric and economical solutions to the mutual exclusion problem in a distributed system

DOI10.1016/0304-3975(84)90118-XzbMath0985.68509MaRDI QIDQ1348531

Amir Pnueli, Shimon Cohen, Daniel J. Lehmann

Publication date: 13 May 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (4)

Verification of multiprocess probabilistic protocols ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Liveness by Invisible Invariants ⋮ Unnamed Item

Cites Work

• Unnamed Item
• The choice coordination problem
• Termination of Probabilistic Concurrent Program
• A new solution of Dijkstra's concurrent programming problem

This page was built for publication: Symmetric and economical solutions to the mutual exclusion problem in a distributed system