Bisimulation in Name-Passing Calculi without Matching.

Michele Boreale, Davide Sangiorgi

Browse the full LICS paper archive.