Authors: Doberkat, Ernst-Erich
Title: congruences for stochastic relations
Language (ISO): en
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.
Subject Headings: 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
Issue Date: 2004-05-12
Publisher: Universität Dortmund
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
140.pdfDNB385.57 kBAdobe PDFView/Open


This item is protected by original copyright



All resources in the repository are protected by copyright.