Specifying and Proving Properties of Guardians for Distributed Systems (1979)

by C HEWITT, G ATTARDI
Venue:In G. KAHN, Ed. Semantics of Concurrent Computation. Proc. of the Intl. Symposium