A Calculus of Distributed and Parallel Processes

A Calculus of Distributed and Parallel Processes
Author :
Publisher : Springer Science & Business Media
Total Pages : 324
Release :
ISBN-10 : 9783322867636
ISBN-13 : 3322867633
Rating : 4/5 (633 Downloads)

Book Synopsis A Calculus of Distributed and Parallel Processes by : Clemens H. Cap

Download or read book A Calculus of Distributed and Parallel Processes written by Clemens H. Cap and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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

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

GET 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 for Parallel and Distributed Processing
Language: en
Pages: 440
Authors: Michael Alexander
Categories: Mathematics
Type: BOOK - Published: 2008-12-22 - Publisher: CRC Press

GET EBOOK

Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and
Scheduling Divisible Loads in Parallel and Distributed Systems
Language: en
Pages: 320
Authors: Veeravalli Bharadwaj
Categories: Computers
Type: BOOK - Published: 1996-10-14 - Publisher: John Wiley & Sons

GET EBOOK

This book provides an in-depth study concerning a claqss of problems in the general area of load sharing and balancing in parallel and distributed systems. The
Global Computing
Language: en
Pages: 375
Authors: Corrado Priami
Categories: Computers
Type: BOOK - Published: 2005-02-22 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, GC 2004, held in Rovereto, Italy in Ma
Modeling and Verification of Parallel Processes
Language: en
Pages: 228
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

GET EBOOK

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP