The synchronization of independent processes

DOI10.1007/BF00265219zbMath0332.68024MaRDI QIDQ1228197

Leslie Lamport

Publication date: 1976

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (2)

Methods and means of parallel processing of information ⋮ Logical classification of distributed algorithms (Bakery algorithms as an example)

Cites Work

• Unnamed Item
• Self-stabilizing systems in spite of distributed control
• Concurrent reading and writing
• A new solution of Dijkstra's concurrent programming problem
• The structure of the “THE”-multiprogramming system
• A structured paging system

This page was built for publication: The synchronization of independent processes