Relators and Metric Bisimulations (1999)

by J Rutten
Venue:Coalgebraic Methods in Computer Science (CMCS'98), volume 11 of Electr. Notes in Theoret. Comp. Sci