Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory.

Henning Kerstan, Barbara Knig

Browse the full CONCUR paper archive.