Specification and Analysis of Concurrent Systems: The Cosy Approach (Softcover Reprint of the Original 1st 1992)Paperback - Softcover Reprint of the Original 1st 1992, 29 December 2011

The COSY formalism facilitates the abstraction of synchronizational aspects of concurrent and reactive systems, and their analysis. The COSY theory is developed in detail and proofs of major results are given in full. Applications of COSY to practical problems are given.