Approximate reasoning for real-time probabilistic processes

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…