Items related to Process Algebra for Parallel and Distributed Processing...
Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science) - Hardcover
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.
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
Quantity: 1 available
Stock Image
PROCESS ALGEBRA FOR PARALLER AND DISTRIBUTED PROCESSING
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-172259
Quantity: 1 available
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
Seller Inventory # SHUB172259
Quantity: 1 available
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
Quantity: 1 available
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
Quantity: 1 available
Stock Image
Process Algebra for Parallel and Distributed Processing
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FT-9781420064865
Quantity: 1 available
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
Quantity: 1 available
Stock Image
Process Algebra for Parallel and Distributed Processing
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FT-9781420064865
Quantity: 1 available
Stock Image
Process Algebra for Parallel and Distributed Processing
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. xxii + 440 Illus. This item is printed on demand. Seller Inventory # 8311654
Quantity: 3 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
Quantity: 1 available