Stochastic relations : foundations for Markov transition systems /: foundations for Markov transition systems. (2007)

• Record Type: Book
• Further Information: Note: Ernst-Erich Doberkat.
• Other Names: Doberkat, Ernst-Erich
• Contents: 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 μ CSL; Appendix: Notations ; Categories; Spaces; Other; Bibliography ; Index ; Bibliographic Notes appear at the end of each chapter.
• Publisher Details: Place of publication not identified : Chapman and Hall/CRC
• Publication Date: 2007
• Extent: 1 online resource (376 pages), (16 illustrations)
• Subjects: 004.0151; Computer science -- Mathematics; Stochastic processes; Markov processes
• Languages: English
• ISBNs: 9781584889427
• Related ISBNs: 158488942X
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.