Eager normal form bisimulation (2005)

Cached

Download Links

by Soren B. Lassen , Paul Blain Levy
Venue:In Proc. 20th Annual IEEE Symposium on Logic in Computer Science
Citations:14 - 4 self