Stochastic Relations Foundations for Markov Transition Systems |
|
| Author:
| Doberkat, Ernst-Erich |
| Series title: | Chapman and Hall/CRC Studies in Informatics Ser. |
| ISBN: | 978-1-58488-941-0 |
| Publication Date: | May 2007 |
| Publisher: | CRC Press LLC
|
| Imprint: | Chapman & Hall/CRC |
| Book Format: | Hardback |
| List Price: | USD $155.00 |
Book Description:
|
This book develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, it examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor....
More DescriptionThis book develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, it examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor. The book includes case studies of software architecture, the converse of a stochastic relation, and the average case analysis of two algorithms.