1st Edition
Stochastic Relations Foundations for Markov Transition Systems
By Ernst-Erich Doberkat
Copyright 2007
376 Pages
by
Chapman & Hall
370 Pages
by
Chapman & Hall
376 Pages
by
Chapman & Hall
Also available as eBook on:
Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems 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, the book examines the central... Read more
Introduction. A Gentle Tutorial to All Things Considered. Stochastic Relations as Monads. Eilenberg–Moore Algebras for Stochastic Relations. The Existence of Semi-Pullbacks. Congruences and Bisimulations. Interpreting Modal and Temporal Logics. Appendix. Bibliography. Index.
Biography
Doberkat, Ernst-Erich
