Farong Zhong Yuxi Fu Xiaoju Dong Bisimulation Congruence for Asymmetric chi ^ e -Calculus. 173-184 2006 conf/ispdc/2006 ISPDC http://doi.ieeecomputersociety.org/10.1109/ISPDC.2006.13 db/conf/ispdc/ispdc2006.html#ZhongFD06