Semantic and Syntactic Approaches to Simulation Relations.

Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella

Browse the full MFCS paper archive.