Specification and Analysis of Concurrent Systems: The Cosy Approach

by Peter E. Lauer and Ryszard Janicki

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 3642773397
• ISBN13: 9783642773396
• Release Date: December 2011
• Publisher: Springer
• Length: 480 Pages
• Weight: 1.74 lbs.
• Dimensions: 1.0" x 6.7" x 9.6"