Relators and Metric Bisimulations

Jan J. M. M. Rutten. Relators and Metric Bisimulations. Electronic Notes in Theoretical Computer Science, 11:252-258, 1998. [doi]

Abstract

Abstract is missing.