Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes
LICS, 2002.
@inproceedings{LICS-2002-DesharnaisJGP,
author = "Josée Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden",
booktitle = "{Proceedings of the 17th IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2002.1029849",
isbn = "0-7695-1483-9",
pages = "413--422",
publisher = "{IEEE Computer Society}",
title = "{The Metric Analogue of Weak Bisimulation for Probabilistic Processes}",
year = 2002,
}