Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).

Xinxin Liu

Browse the full CONCUR paper archive.