Decomposing Specifications of Concurrent Systems

Leslie Lamport
PROCOMET (1994), pp. 327-340

Abstract