bisimulations and the correctness of coalgebraic refinements (0)

by Invariants
Venue:Algebraic Methodology and Software