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