Placeholder text

Go to cart

Stochastic Relations

By Ernst-Erich Doberkat

Stochastic Relations Computer Science

Stochastic Relations

By Ernst-Erich Doberkat

0 - Default Title
Description
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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
372
Release Date:
2019-09-05
Publication Date:
2019-09-05
Publisher:
Chapman and Hall/CRC
Languages:
Original: English
ISBN10:
0367389118
ISBN13:
9780367389116
Weight:
565 g
Height:
156 cm
Width:
234 cm
Thickness:
20 cm
Buy on Amazon
Currently sold out