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. In Proc. of CONCUR '12, pages 410–424. Springer, 2012. LNCS/ARCoSS 7454.

Suggested BibTeX entry:

@inproceedings{KK12,
    author = {Henning Kerstan and Barbara K{\"o}nig},
    booktitle = {Proc. of CONCUR '12},
    note = {{LNCS/ARCoSS} 7454},
    pages = {410--424},
    publisher = {Springer},
    title = {Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory},
    year = {2012}
}

See link.springer.com ...Tech report version