ABSTRACT

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

chapter 1|82 pages

A Gentle Tutorial to All Things Considered

chapter 2|48 pages

Stochastic Relations as Monads

chapter 4|22 pages

The Existence of Semi-Pullbacks

chapter 5|72 pages

Congruences and Bisimulations

chapter 6|76 pages

Interpreting Modal and Temporal Logics