Franck van Breugel Three Metric Domains of Processes for Bisimulation. 103-121 1993 conf/mfps/1993 MFPS db/conf/mfps/mfps1993.html#Breugel93 http://dx.doi.org/10.1007/3-540-58027-1_5