Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Stochastic Relations, Ernst-Erich Doberkat
- Lingua
- Pubblicato
- 2019
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.