Stochastic Relations —— Foundations for Markov Transition Systems

----- 随机关系

ISBN: 9780367389116 出版年：2007 页码：371 Doberkat, Ernst-Erich CRC Press

Preface A Gentle Tutorial to All Things Considered Introduction Measurable Spaces Polish and Analytic Spaces Measurable Selectors Probability Measures Categories Stochastic Relations as Monads Introduction The Manes Monad The Giry Monad Case Study: Architectural Modeling through Monads Eilenberg-Moore Algebras for Stochastic Relations Introduction Characterization through Equivalence Relations Positive Convex Structures Algebras through Positive Convex Structures Examples The Left Adjoint The Existence of Semi-Pullbacks Introduction A Road Map Extending Semi-Pullbacks of Measures The Existence of Semi-Pullbacks Congruences and Bisimulations Introduction Smooth Equivalence Relations Factoring Bisimulations Behavioral Equivalence and a Portmanteau 2-Bisimulations Simple Relations Case Study: The Converse of a Stochastic Relation Case Study: Simple Relations for Counting Interpreting Modal and Temporal Logics Introduction Modal Logics Projective Limits for Interpreting Temporal Logics F-Bisimulations for CSL Logical Equivalence for muCSL Appendix: Notations Categories Spaces Other Bibliography Index Bibliographic Notes appear at the end of each chapter.