The Metric Analogue of Weak Bisimulation for Probabilistic Processes

Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden. The Metric Analogue of Weak Bisimulation for Probabilistic Processes. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings. pages 413-422, IEEE Computer Society, 2002. [doi]

Abstract

Abstract is missing.