Items related to Process Algebra: Equational Theories of Communicating...
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50) (Cambridge Tracts in Theoretical Computer Science, Series Number 50) - Hardcover
Synopsis
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 behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer’s Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.
"synopsis" may belong to another edition of this title.
About the Authors
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 Eindhoven University of Technology, Netherlands.
"About this title" may belong to another edition of this title.
Search results for Process Algebra: Equational Theories of Communicating...
Stock Image
Process Algebra
Published by
Cambridge University Press CUP, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. xvi + 460 Index. Seller Inventory # 26602955
Quantity: 1 available
Stock Image
Process Algebra
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. xvi + 460 Illus. Seller Inventory # 8293524
Quantity: 1 available
Stock Image
Process Algebra
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. xvi + 460. Seller Inventory # 18602945
Quantity: 1 available
Stock Image
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50)
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
Used
Hardcover
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Seller rating 4 out of 5 stars
Condition: Very Good. Seller Inventory # 144897
Quantity: 1 available
Stock Image
Process Algebra: Equational Theories Of Communicating Processes
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-102261
Quantity: 1 available
Stock Image
Process Algebra: Equational Theories Of Communicating Processes
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-142189
Quantity: 1 available
Stock Image
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50) (Cambridge Tracts in Theoretical Computer Science, Series Number 50)
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHAK102261
Quantity: 1 available
Seller Image
Process Algebra : Equational Theories of Communicating Processes
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6231412-n
Quantity: Over 20 available
Stock Image
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50) (Cambridge Tracts in Theoretical Computer Science, Series Number 50)
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521820493
Quantity: Over 20 available
Seller Image
Process Algebra : Equational Theories of Communicating Processes
Published by
Cambridge University Press, 2009
ISBN 10: 0521820499
ISBN 13: 9780521820493
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 6231412
Quantity: Over 20 available