Items related to Applications of Process Algebra (Cambridge Tracts in...
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science, Series Number 17) - Softcover
Synopsis
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.
"synopsis" may belong to another edition of this title.
Book Description
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic which enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols.
Review
'A useful and interesting addition to a computer science library.' International Mathematical News
"About this title" may belong to another edition of this title.
Search results for Applications of Process Algebra (Cambridge Tracts in...
Stock Image
APPLICATIONS OF PROCESS ALGEBRA (PB 1990)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
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 # ABEJUNE24-299147
Quantity: 9 available
Stock Image
APPLICATIONS OF PROCESS ALGEBRA (PB 1990)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
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-66438
Quantity: 2 available
Stock Image
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
Used
Softcover
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Seller Inventory # 121096
Quantity: 2 available
Stock Image
APPLICATIONS OF PROCESS ALGEBRA (PB 1990)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # ASNT3-66438
Quantity: 2 available
Stock Image
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
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 toPOboxaddress. Seller Inventory # SHUB299147
Quantity: 1 available
Stock Image
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9780521607506
Quantity: 1 available
Stock Image
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190009250
Quantity: Over 20 available
Stock Image
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521607506
Quantity: Over 20 available
Stock Image
Applications of Process Algebra (Paperback)
Published by
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ???algebra??? is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521607506
Quantity: 1 available
Stock Image
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521607506_new
Quantity: Over 20 available