What COSY Is and What It Is For

Part of the EATCS Monographs in Theoretical Computer Science book series (EATCS)


Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. Even the concurrent systems we construct on the basis of modern computer and communication technology continue to elude adequate conceptual analysis in general. However, our increasing dependence on ever more complex concurrent systems in the management and control of human affairs and activities increases the urgency for developing more adequate concepts to maintain reliable control over systems we have created.


Concurrent System Communicate Sequential Process Formal Language Theory Concurrency Theory High Level Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  1. 1.Department of Computer Science and SystemsMcMaster UniversityHamiltonCanada

Personalised recommendations