Nancy A. Lynch, Michael J. Fischer. On Describing the Behavior and Implementation of Distributed Systems. In Gilles Kahn, editor, Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Volume 70 of Lecture Notes in Computer Science, pages 147-172, Springer, 1979.
Abstract is missing.