8 citations · 9 across the 15 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 of states in a variety of types of transition systems. It has been widely studied in a discrete-time setting where t…