Florence Clerc. Towards a classification of behavioural equivalences in continuous Markov processes.
Channel: MFPS 2020
Date: 29/05/2020

Linan Chen, Florence Clerc and Prakash Panangaden. Towards a classification of behavioural equivalences in continuous-time Markov processes.