Bisimulation for Higher-Order Pi-calculus.

Xinxin Liu, Yongjian Li

Browse the full APLAS paper archive.