More on Bisimulations for Higher Order <i>pi</i>-Calculus.

Zining Cao More on Bisimulations for Higher Order <i>pi</i>-Calculus. 63-78 2006 conf/fossacs/2006 FoSSaCS http://dx.doi.org/10.1007/11690634_5 db/conf/fossacs/fossacs2006.html#Cao06