Coalgebraic Trace Semantics for Continuous Probabilistic Transition ...
Reference
Henning Kerstan and Barbara König. Coalgebraic trace semantics for continuous probabilistic transition systems. Logical Methods in Computer Science, 9(4:16), 2013. Selected Papers of the ``23rd International Conference on Concurrency Theory'' CONCUR 2012.
Suggested BibTeX entry:
@article{KK13,
author = {Henning Kerstan and Barbara K{\"o}nig},
journal = {Logical Methods in Computer Science},
note = {Selected Papers of the ``23rd International Conference on Concurrency Theory'' CONCUR 2012},
number = {4:16},
title = {Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems},
volume = {9},
year = {2013}
}
