Algorithms

Leslie Lamport

ACM Transactions on Computer Systems. Also appeared as SRC Research Report 27. | November 1990, pp. 305-310

Alex Acero

Proc. of the International Conference on Spoken Language Systems | November 1990

Leslie Lamport

October 1990

Leslie Lamport

Communications of the ACM | September 1990, Vol 34(1): pp. 110

Leslie Lamport

Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, Vol 4(2): pp. 59-68

Leslie Lamport, Nancy Lynch

Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Jan van Leeuwen, editor, Elsevier | August 1990, pp. 1157-1199

Leslie Lamport

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990

Richard Korry, Cathy McCann, Burton Smith

June 1990

Carl Kadie

June 1990

Christian Borgs, Roman Kotecky, Salvador Miracle-Sole

J. Stat. Phys. | June 1990