Quantitative Relations and Approximate Process Equivalences.

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Browse the full CONCUR paper archive.