Udvidet returret til d. 31. januar 2025

Stochastic Relations - Ernst-Erich Doberkat - Bog

- Foundations for Markov Transition Systems

Bag om Stochastic Relations

This book develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, it examines congruences and morphisms. It applies these topics to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. Developments from the general theory of coalgebras in the context of the subprobability functor are presented. The book also includes case studies of software architecture, the converse of a stochastic relation, and the average case analysis of two algorithms.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780367389116
  • Indbinding:
  • Paperback
  • Sideantal:
  • 376
  • Udgivet:
  • 5. september 2019
  • Størrelse:
  • 156x234x0 mm.
  • Vægt:
  • 1140 g.
  • 8-11 hverdage.
  • 28. november 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Stochastic Relations

This book develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, it examines congruences and morphisms. It applies these topics to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. Developments from the general theory of coalgebras in the context of the subprobability functor are presented. The book also includes case studies of software architecture, the converse of a stochastic relation, and the average case analysis of two algorithms.

Brugerbedømmelser af Stochastic Relations



Find lignende bøger
Bogen Stochastic Relations findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.