Semi-Pullbacks and Bisimulations in Categories of Stochastic Relations
Lade...
Dateien
Datum
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Universität Dortmund
Sonstige Titel
Zusammenfassung
Beschreibung
Inhaltsverzeichnis
Schlagwörter
Bisimulation, Hennessy-Milner logic, labelled Markov processes, semi-pullback, stochastic relations