Bisimulation Congruence for Asymmetric chi ^ e -Calculus.

Farong Zhong, Yuxi Fu, Xiaoju Dong

Browse the full ISPDC paper archive.