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...