bisimulations and the correctness of coalgebraic re (1997)

by Invariants
Venue:Algebraic Methodology and Software Technology