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.
Electronic Access:
Click here to view.Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 543070-1001 | QA76.9 .M35 D578 2007 | Searching... | Searching... |