Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations
Loading...
Files
Date
2003-04-28
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universität Dortmund
Abstract
Description
Table of contents
Keywords
Bisimulation, Hennessy-Milner logic, labelled Markov processes, semi-pullback, stochastic relations