Process Algebra: Equational Theories of Communicating Processes
- Editore:
Cambridge University Press
- EAN:
9780521820493
- ISBN:
0521820499
- Pagine:
- 476
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione 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.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti