The mailbox problem

DOI10.1007/s00446-010-0102-8zbMath1231.68063OpenAlexW2058196240MaRDI QIDQ661002

Eli Gafni, Leslie Lamport, Marcos Kawazoe Aguilera

Publication date: 6 February 2012

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-010-0102-8

zbMATH Keywords

synchronizationmailbox problem

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Distributed systems (68M14)

Related Items

The F-Snapshot Problem, Two-process synchronization

Uses Software

• PlusCal
• TLC
• SNZI

Cites Work

• The existence of refinement mappings
• On interprocess communication. II: Algorithms
• The PlusCal Algorithm Language
• Concurrent Reading While Writing
• Proving the Correctness of Multiprocess Programs
• A new solution of Dijkstra's concurrent programming problem
• Randomized wait-free concurrent objects (extended abstract)
• SNZI