Simulation Distances.

Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna

Browse the full CONCUR paper archive.