Books

1 results found
Title Authors Description OpenBook ID
Specification and Analysis of Concurrent Systems 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