Coalgebraic trace semantics for probabilistic systems (2005)

by I Hasuo, B Jacobs
Venue:CALCO-jnr Workshop, 2005. TRACE SEMANTICS VIA COINDUCTION 31