Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Stochastic Relations: Foundations for Markov Transition Systems

Stochastic Relations: Foundations for Markov Transition Systems

Doberkat, Ernst-Erich

Paperback

Series: Chapman & Hall/CRC Studies in Informatics

General ComputersProbability & StatisticsProgramming

ISBN10: 0367389118
ISBN13: 9780367389116
Publisher: Crc Pr Inc
Published: Sep 5 2019
Pages: 376
Weight: 1.10
Height: 0.80 Width: 6.10 Depth: 9.10
Language: English
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.

Also in

General Computers

View All