Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Conference Abstracts
, 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