Stochastic relations : foundations for Markov transition systems
tarafından
 
Doberkat, Ernst-Erich., author.

Başlık
: 
Stochastic relations : foundations for Markov transition systems

Yazar
: 
Doberkat, Ernst-Erich., author.

ISBN
: 
9780429148453

Fiziksel Tanımlama
: 
1 online resource (xxiii, 345 pages)

Seri
: 
Chapman & Hall/CRC studies in informatics series

İçerik
: 
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.

Konu Terimleri
: 
Computer science -- Mathematics.
 
Stochastic processes.
 
Markov processes.

Elektronik Erişim
: 
Click here to view.


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap543070-1001QA76.9 .M35 D578 2007CRC E-Books