Name: Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)
ISBN: 9780521820493

by Baeten, Jos, Basten, Twan, Reniers, Michel

Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)

by Baeten, Jos, Basten, Twan, Reniers, Michel

Marketplace Prices
New from $73.65

New
$73.65

List Price

~~$86.00~~

Discount

14% Off

You Save

$12.35

Item Details
Condition: New
Provider: Bookjunction Contact
Provider Rating:

73%
Ships From: STERLING HEIGHTS, MI
Shipping: Standard
Comments: New, US edition. Satisfaction guaranteed!!

ISBN-13: 9780521820493
ISBN: 0521820499
Edition: 1
Publication Date: 2009
Publisher: Cambridge University Press

AUTHOR

Baeten, Jos, Basten, Twan, Reniers, Michel

SUMMARY

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.Baeten, Jos is the author of 'Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)', published 2009 under ISBN 9780521820493 and ISBN 0521820499.

[read more]