Related Books

Introduction to Process Algebra
Language: en
Pages: 180
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
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
Introduction to the Theory of Random Processes
Language: en
Pages: 537
Authors: Iosif Il?ich Gikhman
Categories: Mathematics
Type: BOOK - Published: 1996-01-01 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Rigorous exposition suitable for elementary instruction. Covers measure theory, axiomatization of probability theory, processes with independent increments, Mar
A Compositional Approach to Performance Modelling
Language: en
Pages: 174
Authors: Jane Hillston
Categories: Computers
Type: BOOK - Published: 1996-06-13 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Describes new theory for performance modelling and applies it to communication systems.