Decomposing Specifications of Concurrent Systems

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

Abstract

Research Areas