Towards a Theory of Bisimulation for Local Names (1999)

by Alan Jeffrey, Julian Rathke
Venue:In 14th Annual Symposium on Logic in Computer Science