By Dr Rob van Glabbeek

Conference Abstracts

Fischer N; van Glabbeek R, 2019, 'Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours', in Journal of Logical and Algebraic Methods in Programming, Vol. 102, pp. 64 - 102, http://dx.doi.org/10.1016/j.jlamp.2018.09.006

Back to profile page