On Describing the Behavior and Implementation of Distributed Systems.

Nancy A. Lynch Michael J. Fischer On Describing the Behavior and Implementation of Distributed Systems. 147-172 1979 conf/scc/1979 Semantics of Concurrent Computation db/conf/scc/scc1979.html#LynchF79