The mailbox problem
From MaRDI portal
Publication:661002
Recommendations
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)
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)