Autor(en): | Doberkat, Ernst-Erich |
Titel: | Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations |
Sprache (ISO): | en |
Schlagwörter: | 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 |
Erscheinungsdatum: | 2003-04-28 |
Provinienz: | Universität Dortmund |
Enthalten in den Sammlungen: | LS 10 Software-Technologie |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
130.pdf | DNB | 358.8 kB | Adobe PDF | Öffnen/Anzeigen |
Diese Ressource ist urheberrechtlich geschützt. |
Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org