Stochastic relations : foundations for Markov transition systems
by
 
Doberkat, Ernst-Erich., author.

Title
: 
Stochastic relations : foundations for Markov transition systems

Author
: 
Doberkat, Ernst-Erich., author.

ISBN
: 
9780429148453

Physical Description
: 
1 online resource (xxiii, 345 pages)

Series
: 
Chapman & Hall/CRC studies in informatics series

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.

Subject Term
: 
Computer science -- Mathematics.
 
Stochastic processes.
 
Markov processes.

Electronic Access
: 
Click here to view.


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book543070-1001QA76.9 .M35 D578 2007CRC E-Books