Coalgebraic Trace Semantics for Probabilistic Transition Systems ...
Reference
Henning Kerstan and Barbara König. Coalgebraic trace semantics for probabilistic transition systems based on measure theory. Technical Report 2012-02, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2012.
Suggested BibTeX entry:
@techreport{KK12a,
author = {Henning Kerstan and Barbara K{\"o}nig},
institution = {Abteilung f{\"ur} Informatik und Angewandte Kognitionswissenschaft, Universit{\"a}t Duisburg-Essen},
number = {2012-02},
title = {Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory},
year = {2012}
}
