Cover Image

Stochastic relations : foundations for Markov transition systems /

Show other versions (1)
Bibliographic Details
Main Author: Doberkat, Ernst-Erich (Author)
Corporate Author: Taylor & Francis
Format: eBook
Language:English
Published: Boca Raton, FL : Chapman and Hall/CRC, 2007.
Series:Chapman & Hall/CRC studies in informatics series
Subjects:
Computer science > Mathematics.
Stochastic processes.
Markov processes.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • chapter 1 A Gentle Tutorial to All Things Considered
  • chapter 2 Stochastic Relations as Monads
  • chapter 3 Eilenberg-Moore Algebras for Stochastic Relations
  • chapter 4 The Existence of Semi-Pullbacks
  • chapter 5 Congruences and Bisimulations
  • chapter 6 Interpreting Modal and Temporal Logics.