Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes.

Linan Chen, Florence Clerc, Prakash Panangaden

Browse the full MFPS paper archive.