Generalized Bisimulation Metrics.

Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu

Browse the full CONCUR paper archive.