Algorithms

Yuri Gurevich, Neil Immerman, Saharon Shelah

Symposium on Logic in Computer Science, IEEE Computer Society Press | January 1994

Hubert Jin, Hugue Hoppe, Jean Schweitzer, John McDonald, Mark Halstead, Tom Duchamp, Tony DeRose, Werner Stuetzle, Hugues Hoppe

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

Michael B. Jones

MSR-TR-93-05 | June 1993