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
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
Algorithms and Architectures for Parallel Processing
Language: en
Pages: 331
Authors: Anu G. Bourgeois
Categories: Computers
Type: BOOK - Published: 2008-05-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2008, held in
Parallel Processing and Applied Mathematics
Language: en
Pages: 501
Authors: Roman Wyrzykowski
Categories: Computers
Type: BOOK - Published: 2018-03-22 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematic