Coalgebraic Trace Semantics for Continuous Probabilistic Transition ...

Reference

Henning Kerstan and Barbara König. Coalgebraic trace semantics for continuous probabilistic transition systems, 2013. arXiv:1310.7417.

Suggested BibTeX entry:

@misc{KK12b,
    author = {Henning Kerstan and Barbara K{\"o}nig},
    note = {arXiv:1310.7417},
    title = {Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems},
    year = {2013}
}

See arxiv.org ...Conference version