The mailbox problem

DOI10.1007/S00446-010-0102-8MaRDI QIDQ661002zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

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

Cited in

(4)

• On the signaling problem
• Two-process synchronization
• The Mailbox Problem
• The F-Snapshot Problem

Describes a project that uses

Uses Software

• SNZI
• TLC
• PlusCal

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)