Algorithms

Leslie Lamport

Journal of the Association for Computing Machinery | June 1983, Vol 30(3): pp. 668-676

Leslie Lamport

Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers | May 1983, Vol 83: pp. 657-668

Christian Borgs, Erhard Seiler

May 1983, Vol 91(3): pp. 329-380

Leslie Lamport

ACM Transactions on Programming Languages and Systems | April 1983, pp. 190-222

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