Tell your friends about this item:
Specification and Analysis of Concurrent Systems: The COSY Approach - Monographs in Theoretical Computer Science. An EATCS Series Ryszard Janicki Softcover reprint of the original 1st ed. 1992 edition
Specification and Analysis of Concurrent Systems: The COSY Approach - Monographs in Theoretical Computer Science. An EATCS Series
Ryszard Janicki
Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.
492 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 29, 2011 |
| ISBN13 | 9783642773396 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 480 |
| Dimensions | 170 × 242 × 26 mm · 789 g |
| Language | German |