3 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Linan Chen, Florence Clerc, Prakash Panangaden
Bisimulation is a concept that captures behavioural equivalence. It has been studied extensively on nonprobabilistic systems and on discrete-time Markov processes and on so-called…