A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names.

Alan Jeffrey, Julian Rathke

Browse the full LICS paper archive.