congruences for stochastic relations

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.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.identifier.uri	http://hdl.handle.net/2003/2723
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-5187
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

Files

Now showing 1 - 1 of 1