Specification and Analysis of Concurrent Systems: The COSY Approach

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

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 and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and

automata theory to collections of synchronized grammars and automata, permitting system specification and analysis of
true concurrency without reduction to non-determinism. COSY theory is developed to a great level of detail and constitutes the first uniform and self-contained presentationof all results about COSY published in the past, as well as including many new results. COSY theory is used to analyze a sufficient number

of typical problems involving concurrency, synchronization

and scheduling, to allow the reader to apply the techniques presented tosimilar problems. The COSY model is also related to many alternative models of concurrency, particularly Petri Nets, Communicating Sequential

Processes and the Calculus of Communicating Systems.