Up-To Techniques for Generalized Bisimulation Metrics.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli

Browse the full CONCUR paper archive.