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