A theory of metric labelled transition systems (1996)

by Franck van Breugel
Venue:Annals of the New York Academy of Sciences