Why Is Simulation Harder than Bisimulation?

Antonn Kucera, Richard Mayr

Browse the full CONCUR paper archive.