A Behavioural Pseudometric for Metric Labelled Transition Systems.

Franck van Breugel

Browse the full CONCUR paper archive.