Publications

Export 3 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Erik P. de Vink  [Clear All Filters]
Book Chapter
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.
Conference Paper
M. D. Lee and E. P. de Vink, “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015., 2015.