28 citations · 37 across the 13 of their papers we have counts for
1 paper · 1 filter
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisim…