✨ Buy more, save 5% Ends this month

Specification and Analysis of Concurrent Systems: The Cosy Approach

$117.22

(No reviews yet) Write a Review

Physical book delivery

Shipping calculated at checkout.

Estimated delivery

5–10 business days

in stock

Adding to cart… The item has been added

Product Details

Author:: Ryszard Janicki
Publisher:: Springer
Publication Date:: Dec 29, 2011
Number of pages:: 480 pages
Binding:: Paperback or Softback
ISBN-10:: 3642773397
ISBN-13:: 9783642773396

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.