Description

Book 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 reasoningprocess algebrahas 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 mach

Table of Contents

Parallel Programming. Distributed Systems. Embedded Systems. Index.

Process Algebra for Parallel and Distributed

    Product form

    A Hardback by Michael Alexander, William Gardner

    £166.13

    Includes FREE delivery

    Order before 4pm today for delivery by Tue 1 Sep 2026.

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Process Algebra for Parallel and Distributed by Michael Alexander

      Book details

      Publisher Chapman & Hall/CRC
      Published 22 December 2008
      ISBN-13 9781420064865
      978-1420064865
      ISBN-10 142006486X
      Also in:
      Computing Computer architecture and logic design

      Description

      Book 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 reasoningprocess algebrahas 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 mach

      Table of Contents

      Parallel Programming. Distributed Systems. Embedded Systems. Index.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account