Authors: Doberkat, Ernst-Erich
Title: tracing relations probalistically
Language (ISO): en
Abstract: We investigate similarities between non-deterministic and probabilistic ways of describing a system in terms of computation trees. We first show that the construction of traces for both kinds of relations follow the same principles of construction (which could be described in terms of monads, but this does not happen here). Finally representations of measurable trees in terms of probabilistic relations are given.
Subject Headings: probabilistic relations
representation theory
specification techniques (nondeterministic, stochastic)
URI: http://hdl.handle.net/2003/2674
http://dx.doi.org/10.17877/DE290R-14963
Issue Date: 2003-04-23
Provenance: Universität Dortmund
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
134.pdfDNB272 kBAdobe PDFView/Open


This item is protected by original copyright



All resources in the repository are protected by copyright.