Skip to content
Home/ Process Algebra for Parallel and Distributed Processing
Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distributed Processing

No customer reviews yet ISBN 9780367386108

Exploring the contributors' own state-of-the-art applications, this volume shows how process algebra has become a powerful tool for solving design and implementation challenges of concurrent systems. It develops formal methods for parallelizing algorithms for multicore architectures, models the behavior of distributed systems, and discusses how process algebra can tackle the design constraints of embedded systems. Highlighting the recent growth in this burgeoning industry, the contributors cover the Cell Broadband Engine processor of Sony, Toshiba, and IBM; a Channel Ambient Machine for mobile applications; the reuse of concurrent artifacts across different hardware platforms, and much more.

About the author

Product details

Pub dateSep 19, 2019
ISBN-100367386100
ISBN-139780367386108
LanguageEnglish
Last updated 2026-04-24 20:43
$86.57
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Computers | Machine Theory
See all
Hybrid Computational Intelligence: Challenges and Applications
<p><i>Hybrid Computational Intelligence: Challenges and Utilities </i>is a comprehensive resource that begins with the basics and main components of computational intelligence. It brings together many different aspects of the current research on HCI technologies, such as neural networks, support vector machines, fuzzy logic and evolutionary computation, while also covering a wide range of applications and implementation issues, from pattern recognition and system modeling, to intelligent control problems and biomedical applications. The book also explores the most widely used applications of hybrid computation as well as the history of their development. </p> <p>Each individual methodology provides hybrid systems with complementary reasoning and searching methods which allow the use of domain knowledge and empirical data to solve complex problems.</p>
$173.55
Discrete Mathematics
Biggs, Norman L
$115.52
Topology and Category Theory in Computer Science
This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
$142.95
Philosophical Papers
Humphreys, Paul
$131.97
Discrete Mathematics for Computing (2008)
Grossman, Peter
$109.97
Machine Learning: A Probabilistic Perspective
Murphy, Kevin P
$156.23