Factoring Stochastic Relations

dc.contributor.author	Doberkat, Ernst-Erich	de
dc.date.accessioned	2004-12-06T12:55:45Z
dc.date.available	2004-12-06T12:55:45Z
dc.date.created	2004	de
dc.date.issued	2004-05-12	de
dc.description.abstract	When a system represented through a stochastic model is observed, the equivalence of behavior is described through the observation that equivalent inputs lead to equivalent outputs. This paper has a look at the systems that arise when the stochastic model is factored through the congruence. Congruences may re.ne each other, and we show that this re.nement is re.ected through factoring. We also show that factoring a factor does not give rise to any new constructions, since we are kept in the realm of factors for the original system. Thus we cannot have in.nite long chains of factors, so that no new behavior can arise from the original system upon factoring (a system and its factors are bisimilar, after all).	en
dc.format.extent	245520 bytes
dc.format.mimetype	application/pdf
dc.identifier.uri	http://hdl.handle.net/2003/2718
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-5184
dc.language.iso	en	de
dc.publisher	Universität Dortmund	de
dc.subject.ddc	004	de
dc.title	Factoring Stochastic Relations	en
dc.type	Text	de
dc.type.publicationtype	workingPaper
dcterms.accessRights	open access
eldorado.dnb.deposit	true

Dateien

Gerade angezeigt 1 - 1 von 1