Bookbot

Stochastic Relations

Foundations for Markov Transition Systems

Parameter

Seitenzahl
376 Seiten
Lesezeit
14 Stunden

Mehr zum Buch

Focusing on stochastic relations, this book lays the groundwork for Markov transition systems through essential mathematical concepts from topology, measure theory, and categories. It explores congruences and morphisms, applying them to monoidal structures while defining bisimilarity and behavioral equivalence. Additionally, it delves into coalgebra theory related to subprobability functors and includes case studies on software architecture, the converse of stochastic relations, and average case analysis of algorithms.

Buchkauf

Stochastic Relations, Ernst-Erich Doberkat

Sprache
Erscheinungsdatum
2019
product-detail.submit-box.info.binding
(Paperback)
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben