Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Doberkat, Ernst-Erich | de |
dc.date.accessioned | 2004-12-06T12:55:50Z | - |
dc.date.available | 2004-12-06T12:55:50Z | - |
dc.date.created | 2003 | de |
dc.date.issued | 2004-05-12 | de |
dc.identifier.uri | http://hdl.handle.net/2003/2723 | - |
dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-5187 | - |
dc.description.abstract | 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. | en |
dc.format.extent | 394820 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | de |
dc.publisher | Universität Dortmund | de |
dc.subject | bisimulation | en |
dc.subject | congruences | en |
dc.subject | factorization | en |
dc.subject | semi-pullbacks | en |
dc.subject | Stochastic relations over Polish and analytic spaces | en |
dc.subject.ddc | 004 | de |
dc.title | congruences for stochastic relations | en |
dc.type | Text | de |
dc.type.publicationtype | workingPaper | - |
dcterms.accessRights | open access | - |
Appears in Collections: | LS 10 Software-Technologie |
This item is protected by original copyright |
This item is protected by original copyright
rightsstatements.org