Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science) - Hardcover
Book 2 of 27: Chapman & Hall/CRC Computational Science
Synopsis
Collects the Latest Research Involving the Application of Process Algebra to Computing
Exploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning―process algebra―has become a powerful tool for solving design and implementation challenges of concurrent systems.
Parallel ProgrammingDivided into three parts, the book begins by parallelizing an algorithm for the Cell Broadband Engine processor of IBM, Sony, and Toshiba. It also develops a runtime environment that can be ported to different parallel platforms and describes the formal model of action systems.
Distributed SystemsThe next part presents a process algebra (mCRL2) that targets distributed applications, looks at how to turn prose descriptions into unambiguous specifications, extends pi-calculus to create a service-oriented mobility abstract machine, and introduces the Channel Ambient Machine for mobile applications.
Embedded SystemsThe final section combines state-based Z with the event-based process algebra CSP in a formal methodology called Circus. It also develops a pair of process algebras (PARS) to address the problem of scheduling in real-time embedded systems and emphasizes the reuse of concurrent artifacts across different hardware platforms.
Highlighting recent research work, this volume addresses multicore programming problems and the evolution of the growing body of concurrency-enabled languages. It proposes solutions to the problems of designing and implementing today’s concurrency-constrained multicore processor and cloud architectures.
"synopsis" may belong to another edition of this title.
About the Author
Dr. Michael Alexander, IBM, Vienna, Austria
Dr. William Gardner, University of Guelph, Ontario, Canada
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Process Algebra for Parallel and Distributed Processing:...
Stock Image
Process Algebra for Parallel and Distributed Processing
Seller: BookOrders, Russell, IA, U.S.A.
Seller rating 5 out of 5 stars
Hard Cover. Condition: Good. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding is good. Cover shows light wear. Library label on the spine. 415 pages. Ex-Library. Seller Inventory # 032617sf
Stock Image
Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or limited writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_365624946
Stock Image
Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science)
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 # SHAK286514
Stock Image
Process Algebra for Parallel and Distributed Processing
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9781420064865
Buy New
£ 150.62
Shipping:
£ 5.87
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781420064865_new
Buy New
£ 144.77
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Process Algebra for Parallel and Distributed Processing
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5708845-n
Seller Image
Process Algebra for Parallel and Distributed Processing
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5708845-n
Stock Image
Process Algebra for Parallel and Distributed Processing
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9781420064865
Seller Image
Process Algebra for Parallel and Distributed Processing
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5708845
Seller Image
Alexander, M: Process Algebra for Parallel and Distributed P
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dr. Michael Alexander, IBM, Vienna, Austria Dr. William Gardner, University of Guelph, Ontario, CanadaCollects the Latest Research Involving the Application of Process Algebra to Computing. Seller Inventory # 595754498