Towards a Theory of Bisimulation for Local Names.

Alan Jeffrey, Julian Rathke

Browse the full LICS paper archive.