Stochastic Relations

Focusing on stochastic relations, this book lays the groundwork for Markov transition systems through essential mathematical concepts from topology, measure theory, and categories. It explores congruences and morphisms, applying them to monoidal structures while defining bisimilarity and behavioral equivalence. Additionally, it delves into coalgebra theory related to subprobability functors and includes case studies on software architecture, the converse of stochastic relations, and average case analysis of algorithms.