Algorithms

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

Leslie Lamport

Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag | 1993, Vol 736 | Hybrid Systems, Robert L. Grossman, Anil Nerode, Hans Rischel, and Anders P. Ravn, editors. Lecture Notes in Computer Science, Springer-Verlag edition

David R. Hanson, Michael Golan

April 1993

Microsoft Project Sequoia 2000 Team

April 1993