loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th Annual IEEE Symposium on Logic in Computer Science (LICS'02)
The Metric Analogue of Weak Bisimulation for Probabilistic Processes
Copenhagen, Denmark
July 22-July 25
ISBN: 0-7695-1483-9
Josée Desharnais, Université Laval
Radha Jagadeesan, Loyola University-Lake Shore Campus
Vineet Gupta, Stratify Inc.
Prakash Panangaden, McGill University
We observe that equivalence is not a robust concept in the presence of numerical information — such as probabilities — in the model. We develop a metric analogue of weak bisimulation in the spirit of our earlier work on metric analogues for strong bisimulation. We give a fixed point characterization of the metric. This makes available coinductive reasoning principles and allows us to prove metric analogues of the usual algebraic laws for process combinators. We also show that quantitative properties of interest are continuous with respect to the metric, which says that if two processes are close in the metric then observable quantitative properties of interest are indeed close. As an important example of this we show that nearby processes have nearby channel capacities — a quantitative measure of their propensity to leak information.
Citation:
Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden, "The Metric Analogue of Weak Bisimulation for Probabilistic Processes," lics, pp.413, 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.