Process Algebra For Parallel And Distributed Processing
Download Process Algebra For Parallel And Distributed Processing full books in PDF, epub, and Kindle. Read online free Process Algebra For Parallel And Distributed Processing ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
A Calculus of Distributed and Parallel Processes
Author | : Clemens H. Cap |
Publisher | : Vieweg+Teubner Verlag |
Total Pages | : 0 |
Release | : 2012-03-14 |
Genre | : Technology & Engineering |
ISBN | : 9783322867650 |
Download A Calculus of Distributed and Parallel Processes Book in PDF, Epub and Kindle
This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems.
A Calculus of Distributed and Parallel Processes Related Books
Language: en
Pages: 440
Pages: 440
Type: BOOK - Published: 2008-12-22 - Publisher: CRC Press
Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theo
Language: en
Pages: 477
Pages: 477
Type: BOOK - Published: 2010 - Publisher: Cambridge University Press
Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
Language: en
Pages: 476
Pages: 476
Type: BOOK - Published: 2024-08-20 - Publisher: Elsevier
Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in tr
Language: en
Pages: 158
Pages: 158
Type: BOOK - Published: 2007-09-05 - Publisher: Springer Science & Business Media
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techni