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: 17 (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
Used
Paperback
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR013696956
Quantity: 1 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: 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 (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 (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
Used
Paperback
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. LIKE NEW. book. Seller Inventory # ERICA82805216075073
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
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 317 pages. 9.50x7.25x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521607507
Quantity: 1 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
Published by
Cambridge University Press, 2005
ISBN 10: 0521607507
ISBN 13: 9780521607506
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 630. Seller Inventory # C9780521607506
Quantity: Over 20 available