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 (36 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

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 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
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

DOWNLOAD 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
Parallel and Distributed Computation: Numerical Methods
Language: en
Pages: 832
Authors: Dimitri Bertsekas
Categories: Mathematics
Type: BOOK - Published: 2015-03-01 - Publisher: Athena Scientific

DOWNLOAD EBOOK

This highly acclaimed work, first published by Prentice Hall in 1989, is a comprehensive and theoretically sound treatment of parallel and distributed numerical
Modeling and Verification of Parallel Processes
Language: en
Pages: 228
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD 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