Authors: Doberkat, Ernst-Erich
Title: Factoring Stochastic Relations
Language (ISO): en
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 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).
Issue Date: 2004-05-12
Provenance: Universität Dortmund
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
146.pdfDNB239.77 kBAdobe PDFView/Open

This item is protected by original copyright

All resources in the repository are protected by copyright.