Specification and Analysis of Concurrent Systems

by Ryszard Janicki

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the l…