The mutual exclusion problem: part I---A theory of interprocess communication

DOI10.1145/3335772.3335937zbMath1448.68135OpenAlexW3021995789MaRDI QIDQ5133677

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.3335937

zbMATH Keywords

nonatomic operationsshared variablestermsreaders/writers

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (1)

An adaptive collect algorithm with applications

This page was built for publication: The mutual exclusion problem: part I---A theory of interprocess communication