Publications
Filters: Author is Tribastone, Mirco [Clear All Filters]
, “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in {\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems, {\rm London, UK, 11th-12th April 2015}, vol. 194, 2015, p. 79-94.
