Eager Normal Form Bisimulation

Soren B. Lassen
Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), IEEE Computer Society (2005), pp. 345-354

Abstract