Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science)

0 avg rating
( 0 ratings by Goodreads )
 
9781420064865: Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science)

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 Programming
Divided 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 Systems
The 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 Systems
The 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.

Top Search Results from the AbeBooks Marketplace

1.

Michael Alexander (Editor), William Gardner (Editor)
Published by Chapman and Hall/CRC (2008)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Chapman and Hall/CRC, 2008. Hardcover. Book Condition: New. 1. Bookseller Inventory # DADAX142006486X

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 55.22
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Published by Taylor Francis Ltd, United States (2009)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Taylor Francis Ltd, United States, 2009. Hardback. Book Condition: New. New.. Language: English . Brand New Book. 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 Programming Divided 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 Systems The 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 Systems The 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. Bookseller Inventory # AA69781420064865

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 113.76
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Published by Taylor Francis Ltd, United States (2009)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Taylor Francis Ltd, United States, 2009. Hardback. Book Condition: New. New.. Language: English . Brand New Book. 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 Programming Divided 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 Systems The 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 Systems The 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. Bookseller Inventory # AA69781420064865

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 115.56
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Gardner, William
Published by Chapman and Hall/CRC (2009)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Quantity Available: 5
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Chapman and Hall/CRC, 2009. HRD. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # FT-9781420064865

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 105.64
Convert Currency

Add to Basket

Shipping: US$ 11.87
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Alexander, Michael
ISBN 10: 142006486X ISBN 13: 9781420064865
New Quantity Available: 5
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2008. HRD. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Bookseller Inventory # VT-9781420064865

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 119.99
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

Published by Chapman and Hall/CRC
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 1
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Chapman and Hall/CRC. Hardcover. Book Condition: New. New copy - Usually dispatched within 2 working days. Bookseller Inventory # B9781420064865

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 119.73
Convert Currency

Add to Basket

Shipping: US$ 9.15
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Michael Alexander (editor), William Gardner (editor)
Published by Taylor and Francis 2009-01-07, Boca Raton |London (2009)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 1
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Taylor and Francis 2009-01-07, Boca Raton |London, 2009. hardback. Book Condition: New. Bookseller Inventory # 9781420064865

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 121.84
Convert Currency

Add to Basket

Shipping: US$ 7.91
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

ALEXANDER, MICHAEL; GARDNER, WILLIAM.
Published by Chapman and Hall/CRC (2009)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Chapman and Hall/CRC, 2009. Hardback. Book Condition: NEW. 9781420064865 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0182146

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 131.74
Convert Currency

Add to Basket

Shipping: US$ 10.55
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Published by Taylor Francis Ltd, United States (2009)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 1
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Taylor Francis Ltd, United States, 2009. Hardback. Book Condition: New. New.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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 Programming Divided 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 Systems The 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 Systems The 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. Bookseller Inventory # BTE9781420064865

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 155.66
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Alexander, Michael (Editor)/ Gardner, William (Editor)
Published by Chapman & Hall/CRC (2008)
ISBN 10: 142006486X ISBN 13: 9781420064865
New Hardcover Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Chapman & Hall/CRC, 2008. Hardcover. Book Condition: Brand New. 1st edition. 440 pages. 9.30x6.20x1.10 inches. In Stock. Bookseller Inventory # __142006486X

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 155.94
Convert Currency

Add to Basket

Shipping: US$ 7.91
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book