The mutual exclusion problem: part II---Statement and solutions

DOI10.1145/3335772.3335938zbMath1448.68136OpenAlexW3021769854MaRDI QIDQ5133678

Leslie Lamport

Publication date: 10 November 2020

Published in: Concurrency: the Works of Leslie Lamport (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3335772.3335938

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: The mutual exclusion problem: part II---Statement and solutions