Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.

Antonio Cau Pierre Collette Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency. 153-176 1996 33 Acta Inf. 2 db/journals/acta/acta33.html#CauC96