Process Algebra for Parallel and Distributed Processing
CRC Press
Process Algebra for Parallel and Distributed ProcessingAuthor(s): Michael Alexander, William Gardner\nFormat: Paperback\nPublisher: Taylor & Francis Ltd, United Kingdom\nImprint: Chapman & Hall/CRC\nISBN-13: 9780367386108, 978-0367386108\nSynopsis\nCollects the Latest Research Involving the Application of Process Algebra to Computing\n\nExploring 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. \n\nParallel 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. \n\nDistributed SystemsThe next part presents a process algebra (mCRL2) that targets distributed .
Compare prices (2 shops)
| shop | Price | Action |
|---|---|---|
|
56,82 GBP | Go to shop |
|
|
62,99 GBP | Go to shop |
