Autor(en): | Doberkat, Ernst-Erich |
Titel: | tracing relations probalistically |
Sprache (ISO): | en |
Zusammenfassung: | 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. |
Schlagwörter: | probabilistic relations representation theory specification techniques (nondeterministic, stochastic) |
URI: | http://hdl.handle.net/2003/2674 http://dx.doi.org/10.17877/DE290R-14963 |
Erscheinungsdatum: | 2003-04-23 |
Provinienz: | Universität Dortmund |
Enthalten in den Sammlungen: | LS 10 Software-Technologie |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
134.pdf | DNB | 272 kB | Adobe PDF | Öffnen/Anzeigen |
Diese Ressource ist urheberrechtlich geschützt. |
Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org