Towards a Theory of Bisimulation for Local Names (1999)

Cached

Download Links

by Alan Jeffrey , Julian Rathke
Venue:In 14th Annual Symposium on Logic in Computer Science
Citations:23 - 1 self