Parallel Composition of Assumption-Commitment Specifications - a Unifying Approach for Shared Variable and Distributed Message Passing Concurrency (1996)

Cached

Download Links

by A. Cau , P. Collette
Citations:26 - 6 self