Stock image for illustration purposes only - book cover, edition or condition may vary.
Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten
€ 100.22
FREE Delivery in Ireland
Description for Process Algebra: Equational Theories of Communicating Processes
hardcover. Presents a unified overview of the various process algebras currently in use and sets the standard for the field. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 476 pages. BIC Classification: UYA. Dimension: 228 x 152. Weight in Grams: 860.
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behaviour. As examples, two protocols ... Read more
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behaviour. As examples, two protocols ... Read more
Product Details
Format
Hardback
Publication date
2009
Publisher
Cambridge University Press
Language
English
Number of pages
476
Condition
New
Series
Cambridge Tracts in Theoretical Computer Science
Number of Pages
476
Place of Publication
Cambridge, United Kingdom
ISBN
9780521820493
SKU
V9780521820493
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-18
About J. C. M. Baeten
J. C. M. Baeten is Professor of Formal Methods in the Division of Computer Science at Eindhoven University of Technology, Netherlands. T. Basten is Associate Professor in the Faculty of Electrical Engineering at Eindhoven University of Technology, Netherlands, and Research Fellow at the Embedded Systems Institute, Eindhoven. M. A. Reniers is Assistant Professor in the Division of Computer Science at ... Read more
Reviews for Process Algebra: Equational Theories of Communicating Processes