The mailbox problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5218 LNCS, Issue , 2008, Pages 1-15

  Aguilera, Marcos K ^a   Gafni, Eli ^a,b   Lamport, Leslie ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

IMPOSSIBILITY RESULTS; SYNCHRONIZATION PROBLEMS;

DISTRIBUTED COMPUTER SYSTEMS;

PROBLEM SOLVING;

EID: 56449084282     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87779-0_1     Document Type: Conference Paper

References (10)

1. Dolev, D., Shavit, N.: Bounded concurrent time-stamping. SIAM Journal on Computing 26(2), 418-455 (1997)
2. Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J.ACM 32(2), 374-382 (1985)
3. Herlihy, M.P.: Wait-free synchronization. ACM Transactions on Programming Languages and Systems 13(1), 124-149 (1991)
4. Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems 12(3), 463-492 (1990)
5. Israeli, A., Li, M.: Bounded time-stamps. Distributed Computing 6(4), 205-209 (1993)
6. Lamport, L.: A new solution of Dijkstra's concurrent programming problem. Communications of the ACM 17(8), 453-455 (1974)
7. +CAL algorithm language (July 2006), http://research.microsoft.com/users/lamport/tla/pluscal.html (The page can also be found by searching the Web for the 25-letter string obtained by removing the "-" from uid-lamportpluscalhomepage)
8. Lampson, B.W., Redell, D.D.: Experience with processes and monitors in Mesa. Communications of the ACM 17(8), 453-455 (1974)
9. Loui, M.C., Abu-Amara, H.H.: Memory requirements for agreement among unreliable asynchronous processes. Advances in Computing Research 4, 163-183 (1987)
10. Saltzer, J.H.: Traffic control in a multiplexed computer system. Technical Report Project MAC Technical Report MAC-TR-30, M.I.T (June 1966)