Authors: | Doberkat, Ernst-Erich |
Title: | Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations |
Language (ISO): | en |
Subject Headings: | Bisimulation Hennessy-Milner logic labelled Markov processes semi-pullback stochastic relations |
URI: | http://hdl.handle.net/2003/2681 http://dx.doi.org/10.17877/DE290R-16055 |
Issue Date: | 2003-04-28 |
Provenance: | Universität Dortmund |
Appears in Collections: | LS 10 Software-Technologie |
This item is protected by original copyright |
This item is protected by original copyright rightsstatements.org