The mailbox problem

DOI10.1007/S00446-010-0102-8zbMATH Open1231.68063OpenAlexW2058196240MaRDI QIDQ661002FDOQ661002

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

Recommendations

• The Mailbox Problem
• Two-process synchronization
• On the signaling problem
• The mutual exclusion problem. I: A theory of interprocess communication
• The mutual exclusion problem

zbMATH Keywords

synchronizationmailbox problem

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Two-process synchronization
• The Mailbox Problem
• The F-Snapshot Problem

Uses Software

• PlusCal
• TLC
• SNZI

This page was built for publication: The mailbox problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q661002)