Algorithms

Leslie Lamport

Proceedings of the Tenth ACM Symposium on Principles of Programming Languages, ACM SIGACT-SIGPLAN | January 1983

Leslie Lamport

Science of Computer Programming | December 1982, pp. 175-206

Leslie Lamport, Robert Shostak, Marshall Pease

ACM Transactions on Programming Languages and Systems | July 1982, pp. 382-401

Leslie Lamport, Susan Owicki

ACM Transactions on Programming Languages and Systems | July 1982, Vol 4(3): pp. 455-495

Jim Blinn

July 1982

Christopher W. Fraser, David R. Hanson

Software: Practice and Experience | May 1982, Vol 12(4): pp. 351-366

Leslie Lamport, Michael Fischer

April 1982

Leslie Lamport

Communications of the ACM 24 | November 1981, pp. 770-772

Luiz P. Caloba, Henrique S. Malvar

IEEE Transactions on Circuits and Systems | December 1980

Marshall Pease, Robert Shostak, Leslie Lamport

Journal of the Association for Computing Machinery 27 | April 1980, Vol 2

2005 Edsger W. Dijkstra Prize in Distributed Computing