Behavioural equivalences for continuous-time Markov processes

Linan Chen, Florence Clerc, Prakash Panangaden. Behavioural equivalences for continuous-time Markov processes. Mathematical Structures in Computer Science, 33(4-5):222-258, 2023. [doi]

Abstract

Abstract is missing.