Algorithms

Leslie Lamport

1994-001 | December 1994

The Annals of Statistics

Jin-Yi Cai, Wolfgang Fuchs, Dexter Kozen, Zicheng Liu

Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on | November 1994

Joseph Pentheroudakis, Lucy Vanderwende

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993 | November 1994

Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, 1993

Tolga Acar, Muhittin Gokmen

International Symposium on Computer and Information Sciences | September 1994

Editor(s): Aggelos K. Katsaggelos

ISCIS X

Leslie Lamport

FACJ 6(5) (September/October 1994) 580-584. Also appeared as SRC Research Report 119. | September 1994

Tolga Acar

September 1994

Master's Thesis: Istanbul Technical University | September 1994

David Lomet

September 1994

Martin Abadi, Leslie Lamport

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing | August 1994

Leslie Lamport, Martin Abadi

Programming Concepts, Methods and Calculi, Ernst-Rüdiger Olderog editor. (Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet ’94, San Miniato, Italy.) North-Holland | August 1994

Leslie Lamport

Formal Techniques in Real-Time and Fault-Tolerant Systems, H. Langmaack, W.-P. de Roever, J. Vytopil editors. Lecture Notes in Computer Science, Springer-Verlag | July 1994