Publications

Filters: Author is Tribastone, Mirco  [Clear All Filters]
2015
M. D. Lee and E. P. de Vink, “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, N. Bertrand and M. Tribastone, Eds. 2015, p. 79-94.