Process algebra: equational theories of communicating processes
Auteur :
Baeten, J. C. M. / Basten, T. / Reniers, M. A.
Éditeur :
Cambridge University Press
ISBN :
9780521820493
Date de publication :
16 déc. 2009
Dimensions :
23,5 x 15,8 x 3,0 cm
Poids :
802 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.