Approximate reasoning for real-time probabilistic processes

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 bisimulation for continuous-time probabilistic processes to a much broader class of distributions than exponential distributi...

Full description

Bibliographic Details
Main Authors: Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2006-03-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/2258/pdf