Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distributed Processing
Author :
Publisher : CRC Press
Total Pages : 440
Release :
ISBN-10 : 9781420064872
ISBN-13 : 1420064878
Rating : 4/5 (878 Downloads)

Book Synopsis Process Algebra for Parallel and Distributed Processing by : Michael Alexander

Download or read book Process Algebra for Parallel and Distributed Processing written by Michael Alexander and published by CRC Press. This book was released on 2008-12-22 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

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
Parallel and Distributed Processing
Language: en
Pages: 667
Authors: Jose Rolim
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 200
Parallel and Distributed Processing
Language: en
Pages: 1366
Authors:
Categories: Electronic data processing
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

DOWNLOAD EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
Modelling Distributed Systems
Language: en
Pages: 158
Authors: Wan Fokkink
Categories: Computers
Type: BOOK - Published: 2007-09-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techni