Generic Forward and Backward Simulations (2006)

by I Hasuo
Venue:In 17th International Conference on Concurrency Theory