Process Algebra for Parallel and Distributed Processing

Michael Alexander, William Gardner

$273

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Chapman & Hall/CRC
22 December 2008

Computer architecture & logic design

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.

Edited by: Michael Alexander, William Gardner
Imprint: Chapman & Hall/CRC
Country of Publication: United Kingdom
Volume: 2
Dimensions: Height: 234mm, Width: 156mm, Spine: 28mm
Weight: 748g
ISBN: 9781420064865
ISBN 10: 142006486X
Pages: 438
Publication Date: 22 December 2008
Audience: Professional and scholarly , Undergraduate
Format: Hardback
Publisher's Status: Active

Dr. Michael Alexander, IBM, Vienna, Austria Dr. William Gardner, University of Guelph, Ontario, Canada