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

GET EBOOK

Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
Introduction to Process Algebra
Language: en
Pages: 171
Authors: Wan Fokkink
Categories: Mathematics
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

GET 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
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

GET EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
Property-Preserving Petri Net Process Algebra in Software Engineering
Language: en
Pages: 319
Authors: Hejiao Huang
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: World Scientific

GET EBOOK

Annotation In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume
Concise Introduction to Linear Algebra
Language: en
Pages: 231
Authors: Qingwen Hu
Categories: Mathematics
Type: BOOK - Published: 2017-09-22 - Publisher: CRC Press

GET EBOOK

Concise Introduction to Linear Algebra deals with the subject of linear algebra, covering vectors and linear systems, vector spaces, orthogonality, determinants