Specification and Analysis of Concurrent Systems
The COSY Approach
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Ryszard Janicki
Themen in »Specification and Analysis of Concurrent Systems«
Notation Parallelität automata automata theory concurrency concurrent programming distributed systems formal language formal specification language operating system parallelism petri net programming scheduling