Publication A Theorem on Atomicity in Distributed Algorithms Leslie Lamport Distributed Computing. Also appeared as SRC Research Report 28. | August 1990, Vol 4(2): pp. 59-68
Publication Distributed Computing: Models and Methods 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
Publication win and sin: Predicate Transformers for Concurrency Leslie Lamport ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 17 (May 1987). | July 1990
Publication Memory Management in the Tera MTA Computer System Richard Korry, Cathy McCann, Burton Smith June 1990
Publication Finite-Size Scaling for Potts Models Christian Borgs, Roman Kotecky, Salvador Miracle-Sole J. Stat. Phys. | June 1990
Publication Fast surface interpolation using hierarchical basis functions Rick Szeliski IEEE Transactions on Pattern Analysis and Machine Intelligence | May 1990, Vol 12(6): pp. 513-528
Publication Environmental Robustness in Automatic Speech Recognition Alex Acero Proc. of International Conference on Acoustics, Speech, and Signal Processing | April 1990
Publication A Rigorous Theory of Finite Size Scaling at First Order Phase Transitions Jennifer Chayes, Roman Kotecky J. Stat. Phys. | March 1990, Vol 61: pp. 79-110
