Main image
Click to view image in fullscreen
![]()
Process Algebra: Equational Theories of Communicating Processes
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book presents a comprehensive overview of the various process algebras in use, and sets the standard for the field. Features include numerous exercises and an accompanying website.
980,00 DH
En stock
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book presents a comprehensive overview of the various process algebras in use, and sets the standard for the field. Features include numerous exercises and an accompanying website.
| ISBN / EAN | 9780521820493 |
|---|---|
| Auteur | Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands) |
| Editeur | Cambridge University Press |