Davide Sangiorgi Robin Milner The Problem of ``Weak Bisimulation up to''. 32-46 1992 conf/concur/1992 CONCUR db/conf/concur/concur1992.html#SangiorgiM92 http://dx.doi.org/10.1007/BFb0084781