Home » Stochastic Relations: Foundations for Markov Transition Systems by Ernst-Erich Doberkat
Stochastic Relations: Foundations for Markov Transition Systems Ernst-Erich Doberkat

Stochastic Relations: Foundations for Markov Transition Systems

Ernst-Erich Doberkat

Published May 17th 2007
ISBN : 9781584889410
Hardcover
345 pages
Enter the sum

 About the Book 

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 andMoreThis 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.