Full metadata record
DC FieldValueLanguage
dc.contributor.authorDoberkat, Ernst-Erichde
dc.date.accessioned2004-12-06T12:55:45Z-
dc.date.available2004-12-06T12:55:45Z-
dc.date.created2004de
dc.date.issued2004-05-12de
dc.identifier.urihttp://hdl.handle.net/2003/2718-
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-5184-
dc.description.abstractWhen 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.extent245520 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoende
dc.publisherUniversität Dortmundde
dc.subject.ddc004de
dc.titleFactoring Stochastic Relationsen
dc.typeTextde
dc.type.publicationtypeworkingPaper-
dcterms.accessRightsopen access-
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



This item is protected by original copyright rightsstatements.org