Stochastic Relations: Foundations for Markov Transition Systems

Front Cover
CRC Press, May 17, 2007 - Computers - 376 pages
Collecting information previously scattered throughout the vast literature, including the author's own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems.

After an introduction to the basic mathematical tools from topology, measure

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Gentle Tutorial to All Things Considered
1
Stochastic Relations as Monads
83
EilenbergMoore Algebras for Stochastic Relations
131
The Existence of SemiPullbacks
157
Congruences and Bisimulations
179
Interpreting Modal and Temporal Logics
251
Notations
327
Bibliography
331
Index
339
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 334 - HENNESSY, M., AND MILNER, R. (1980),. On observing nondeterminism and concurrency, in "Automata, Languages, and Programming.

Bibliographic information