Structural operational semantics for continuous state probabilistic processes

G Bacci, Marino Miculan
2012-01-01
Cite DOI URL
Type
Conference paper
Publication
11th International Workshop on Coalgebraic Methods in Computer Science, Proceedings

Related