Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distributed Processing
Author :
Publisher : CRC Press
Total Pages : 440
Release :
ISBN-10 : 9781420064872
ISBN-13 : 1420064878
Rating : 4/5 (72 Downloads)

Book Synopsis Process Algebra for Parallel and Distributed Processing by : Michael Alexander

Download or read book Process Algebra for Parallel and Distributed Processing written by Michael Alexander and published by CRC Press. This book was released on 2008-12-22 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring 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 Pr


Process Algebra for Parallel and Distributed Processing Related Books

Process Algebra for Parallel and Distributed Processing
Language: en
Pages: 440
Authors: Michael Alexander
Categories: Mathematics
Type: BOOK - Published: 2008-12-22 - Publisher: CRC Press

DOWNLOAD EBOOK

Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and
A Calculus of Distributed and Parallel Processes
Language: en
Pages: 324
Authors: Clemens H. Cap
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theo
Process Algebra: Equational Theories of Communicating Processes
Language: en
Pages: 477
Authors: J. C. M. Baeten
Categories: Computers
Type: BOOK - Published: 2010 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
Truly Concurrent Process Algebra With Localities
Language: en
Pages: 476
Authors: Yong Wang
Categories: Computers
Type: BOOK - Published: 2024-08-20 - Publisher: Elsevier

DOWNLOAD EBOOK

Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in tr
Modelling Distributed Systems
Language: en
Pages: 158
Authors: Wan Fokkink
Categories: Computers
Type: BOOK - Published: 2007-09-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techni