Process Algebra: Equational Theories of Communicating Processes
(Part of the Cambridge Tracts in Theoretical Computer Science Series)
No Customer Reviews
Select Format
Select Condition 
Book Overview
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...
Format:Hardcover
Language:English
ISBN:0521820499
ISBN13:9780521820493
Release Date:December 2009
Publisher:Cambridge University Press
Length:476 Pages
Weight:1.90 lbs.
Dimensions:1.4" x 6.1" x 9.0"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
