Process Algebra: Equational Theories of Communicating Processes

Download or Read eBook Process Algebra: Equational Theories of Communicating Processes PDF 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.
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)

Book Synopsis Process Algebra: Equational Theories of Communicating Processes by : J. C. M. Baeten

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

A Journey from Process Algebra via Timed Automata to Model Learning
Language: en
Pages: 593
Authors: Nils Jansen
Categories: Computers
Type: BOOK - Published: 2022-09-06 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has
Modeling Time in Computing
Language: en
Pages: 430
Authors: Carlo A. Furia
Categories: Computers
Type: BOOK - Published: 2012-10-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the
SOFSEM 2013: Theory and Practice of Computer Science
Language: en
Pages: 579
Authors: Peter van Emde Boas
Categories: Computers
Type: BOOK - Published: 2013-01-12 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, h