Applications of Metric Coinduction.

Dexter Kozen, Nicholas Ruozzi

Browse the full CALCO paper archive.