A theory of metric labelled transition systems (1995)

by F van Breugel
Venue:Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences