Search Results

Process Algebra for Parallel and Distributed Processing

Download or Read eBook Process Algebra for Parallel and Distributed Processing PDF 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.
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

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
Scroll to top