Process Algebra for Parallel and Distributed Processing

Michael Alexander, William Gardner

$122

Paperback

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
19 September 2019

Computing: general; Supercomputers; 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 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.

Edited by: Michael Alexander, William Gardner
Imprint: Chapman & Hall/CRC
Country of Publication: United Kingdom
Dimensions: Height: 234mm, Width: 156mm,
Weight: 453g
ISBN: 9780367386108
ISBN 10: 0367386100
Pages: 440
Publication Date: 19 September 2019
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

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