Algorithms

Andreas Blass, Yuri Gurevich

IFIP 1994 World Computer Congress, Volume I: Technology and Foundations, North-Holland, Amsterdam. | January 1994

Weipeng P. Yan, Paul Larson

January 1994

Ramachandran Ramjee, Jim Kurose, Don Towsley, Henning Schulzrinne

Proceedings of IEEE Infocom ’94 | January 1994

Mike Schroeder

Distributed Systems | Published by Addison-Wesley | 1993

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1993

Joseph Pentheroudakis, Lucy Vanderwende

MSR-TR-93-06 | September 1993

Project

Leslie Lamport, Martin Abadi

ACM Transactions on Programming Languages and Systems 15, 1 (January 1993), 73-132. Also appeared as SRC Research Report 66. A preliminary version appeared in Stepwise Refinement of Distributed Systems, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors, Springer-Verlag Lecture Notes in Computer Science Volume 430 (1989), 1-41. | July 1993

Leslie Lamport

Computer-Aided Verification, Costas Courcoubetis, editor. (Proceedings of the Fifth International Conference, CAV’93.) Lecture Notes in Computer Science, number 697, Springer-Verlag (June, 1993), 166-179. | July 1993

Dan Geiger, David Heckerman

MSR-TR-93-09 | July 1993

Proceedings of the IEEE International Conference on Data Mining (ICDM)

Leslie Lamport

A Decade of Concurrency: Reflections and Perspectives, J. W. de Bakker, W.-P. de Roever, and G. Rozenberg editors. Lecture Notes in Computer Science, number 803, Springer-Verlag, (June, 1993) 347-374. | June 1993