Autor(en): | Doberkat, Ernst-Erich |
Titel: | congruences for stochastic relations |
Sprache (ISO): | en |
Zusammenfassung: | We discuss congruences for stochastic relations, stressing the equivalence of smooth equivalence relations and countably generated ó-algebras. Factor spaces are constructed for congruences and for morphisms. Semi-pullbacks are needed when investigating the interplay between congruences and bisimulations, and it is shown that semi-pullbacks exist for stochastic relations over analytic spaces, generalizing a previous result and answering an open question. Equivalent congruences are investigated, and it is shown that stochastic relations that have equivalent congruences are bisimilar. The well-known equivalence relation coming from a Hennessy-Milner logic for labelled Markov transition systems is shown to be a special case in this development. |
Schlagwörter: | bisimulation congruences factorization semi-pullbacks Stochastic relations over Polish and analytic spaces |
URI: | http://hdl.handle.net/2003/2723 http://dx.doi.org/10.17877/DE290R-5187 |
Erscheinungsdatum: | 2004-05-12 |
Provinienz: | Universität Dortmund |
Enthalten in den Sammlungen: | LS 10 Software-Technologie |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
140.pdf | DNB | 385.57 kB | Adobe PDF | Öffnen/Anzeigen |
Diese Ressource ist urheberrechtlich geschützt. |
Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org