Stephen J. Garland, Nancy A. Lynch, and Mandana Vaziri.
IOA: a language for specifying, programming, and validating distributed
systems, MIT Laboratory for Computer Science, 1997.
Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland,
Victor Luchangco, and Nancy A. Lynch.
"Computer-assisted verification of an algorithm for concurrent timestamps,"
Formal Description Techniques IX: Theory, Applications, and Tools,
Reinhard Gotzhein and Jan Bredereke, editors, Chapman and Hall, 1996, pages
(Proceedings of the FORTE/PSTV '96 Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication Protocols, and
Protocol Specification, Testing, and Verification, Kaiserslautern,
Germany, October 8-11, 1996.)
Abstract, Paper (pdf, compressed PostScript)
Victor Luchangco, Ekrem Söylemez, Stephen Garland, and Nancy Lynch.
"Verifying timing properties of concurrent algorithms,"
FORTE '94: Seventh International Conference on Formal
Description Techniques for Distributed Systems and Communications
Protocols, Berne, Switzerland, October 4-7, 1994, Chapman and Hall,
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag,
Nancy A. Lynch, and Anya Pogosyants,
"Computed-assisted simulation proofs,"
Fifth International Conference, CAV '93, Elounda, Greece, June/July 1993,
Lecture Notes in Computer Science 697,
Costas Courcoubetis (editor), Springer-Verlag, pages 305-319.