J C M Baeten, T. Basten, M A Reniers

Process Algebra: Equational Theories of Communicating Processes

• Gebundenes Buch

Produktbeschreibung

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 476
• Erscheinungstermin: 16. Dezember 2009
• Englisch
• Abmessung: 237mm x 159mm x 42mm
• Gewicht: 899g
• ISBN-13: 9780521820493
• ISBN-10: 0521820499
• Artikelnr.: 26573425

Autorenporträt

J. C. M. Baeten is Professor of Formal Methods in the Division of Computer Science at Eindhoven University of Technology, Netherlands.

Inhaltsangabe

Preface
1. Process algebra
2. Preliminaries
3. Transition systems
4. Basic process theory
5. Recursion
6. Sequential processes
7. Parallel and communicating processes
8. Abstraction
9. Timing
10. Data and states
11. Features
12. Semantics
Bibliography
Index of symbols and notations
Index of authors
Index of subjects.