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 (499 Downloads)

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
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.
Process Algebra
Language: en
Pages: 460
Authors: J. C. M. Baeten
Categories: Electronic data processing
Type: BOOK - Published: 2010 - Publisher:

DOWNLOAD EBOOK

Process Algebra with Timing
Language: en
Pages: 306
Authors: J.C.M. Baeten
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour
Formal Methods for Industrial Critical Systems
Language: en
Pages: 270
Authors: Gwen Salaün
Categories: Computers
Type: BOOK - Published: 2011-09-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, i
Algebra and Coalgebra in Computer Science
Language: en
Pages: 431
Authors: Andrea Corradini
Categories: Computers
Type: BOOK - Published: 2011-08-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester,