Algorithms

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

D. James Gemmell, Jim Gemmell

April 1993

David Hanson

MSR-TR-98-50 | April 1993

Leslie Lamport

IEEE Transactions on Computers SRC Research Report 96 | February 1993, Vol 46(7): pp. 779-782

Richard Korf, Max Chickering

In Proceedings of the AAAI Fall Symposium on Games: Planning and Learning | January 1993

David Lomet

January 1993