Towards a theory of bisimulation for local names. LICS (1999)

by A Jeffrey, J Rathke