Bookbot

Stochastic Relations

Foundations for Markov Transition Systems

Paramètres

Pages
376pages
Temps de lecture
14heures

En savoir plus sur le livre

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.

Achat du livre

Stochastic Relations, Ernst-Erich Doberkat

Langue
Année de publication
2019
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer