This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems.
- ISBN10 3322867641
- ISBN13 9783322867643
- Publish Date 1 September 2014 (first published 14 March 2012)
- Publish Status Withdrawn
- Out of Print 18 October 2014
- Publish Country US
- Imprint Vieweg+teubner Verlag
- Format Paperback (US Trade)
- Pages 332
- Language English