Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distributed Processing
Author: Michael Alexander
Publisher: CRC Press
Total Pages: 440
Release: 2008-12-22
Genre: Mathematics
ISBN: 1420064878


Download Process Algebra for Parallel and Distributed Processing Book in PDF, Epub and Kindle

Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning-process algebra-has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel Pr


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
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

GET EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
Parallel and Distributed Processing
Language: en
Pages: 1332
Authors: Jose Rolim
Categories: Computers
Type: BOOK - Published: 2000-04-19 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 200
Truly Concurrent Process Algebra With Localities
Language: en
Pages: 476
Authors: Yong Wang
Categories: Computers
Type: BOOK - Published: 2024-08-20 - Publisher: Elsevier

GET EBOOK

Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in tr
Parallel and Distributed Processing
Language: en
Pages: 1366
Authors:
Categories: Electronic data processing
Type: BOOK - Published: 2000 - Publisher:

GET EBOOK