Specification and Analysis of Concurrent Systems : the COSY Approach /
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 last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent a...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1992.
|
| Series: | EATCS Monographs in Theoretical Computer Science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
