Search Results for: Algebra Of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes
Author :
Publisher : Cambridge University Press
Total Pages : 477
Release :
ISBN-10 : 9780521820493
ISBN-13 : 0521820499
Rating : 4/5 (93 Downloads)
DOWNLOAD EBOOK
Book Synopsis Process Algebra: Equational Theories of Communicating Processes by : J. C. M. Baeten

Download or read book Process Algebra: Equational Theories of Communicating Processes written by J. C. M. Baeten and published by Cambridge University Press. This book was released on 2010 with total page 477 pages. Available in PDF, EPUB and Kindle. Book excerpt: Presents a unified overview of the various process algebras currently in use and sets the standard for the field.


Process Algebra: Equational Theories of Communicating Processes Related Books

Process Algebra: Equational Theories of Communicating Processes
Language: en
Pages: 477

Process Algebra: Equational Theories of Communicating Processes

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

Handbook of Process Algebra

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
Algebra of Communicating Processes
Language: en
Pages: 369

Algebra of Communicating Processes

Authors: Alban Ponse
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in th
Introduction to Process Algebra
Language: en
Pages: 180

Introduction to Process Algebra

Authors: Wan Fokkink
Categories: Mathematics
Type: BOOK - Published: 1999-12-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s
Modeling and Analysis of Communicating Systems
Language: en
Pages: 393

Modeling and Analysis of Communicating Systems

Authors: Jan Friso Groote
Categories: Computers
Type: BOOK - Published: 2023-05-09 - Publisher: MIT Press

DOWNLOAD EBOOK

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems. Complex communicating computer