Books
1 results foundTitle | Authors | Description | OpenBook ID | |
---|---|---|---|---|
![]() |
Specification and Analysis of Concurrent Systems | 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 las… | OL19903305W |