Open Systems in TLA

Leslie Lamport
PODC (1994), pp. 81-90

Abstract