A Calculus of Distributed and Parallel Processes /
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 seman...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Wiesbaden :
Vieweg+Teubner Verlag,
2000.
|
| Series: | Teubner-Texte zur Informatik ;
31. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (320 pages) |
| ISBN: | 9783322867636 (electronic bk.) 3322867633 (electronic bk.) |
| ISSN: | 1615-4584 ; |