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

Document Versions

Towards a Theory of Bisimulation for Local Names –Alan Jeffrey, Julian Rathke — 1999 — In 14th Annual Symposium on Logic in Computer Science