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 (72 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
Process Algebra: Equational Theories of Communicating Processes
Language: en
Pages: 477
Authors: J. C. M. Baeten
Categories: Computers
Type: BOOK - Published: 2010 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
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
Parallel Processing for Scientific Computing
Language: en
Pages: 421
Authors: Michael A. Heroux
Categories: Computers
Type: BOOK - Published: 2006-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

Parallel processing has been an enabling technology in scientific computing for more than 20 years. This book is the first in-depth discussion of parallel compu
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