Tell your friends about this item:
Process Algebra: Equational Theories of Communicating Processes - Cambridge Tracts in Theoretical Computer Science Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands)
Process Algebra: Equational Theories of Communicating Processes - Cambridge Tracts in Theoretical Computer Science
Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands)
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.
476 pages
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | December 16, 2009 |
| ISBN13 | 9780521820493 |
| Publishers | Cambridge University Press |
| Pages | 476 |
| Dimensions | 233 × 159 × 30 mm · 837 g |
| Language | English |