ITP
Completing Almost Fair Simulations
The ACM SIGPLAN International Conference on Functional Programming (ICFP)
Almost Fair Simulations