Relators and metric bisimulations (1998)

by J J M M Rutten
Venue:Electr. Notes Theor. Comput. Sci