Invariants, bisimulations and the correctness of coalgebraic refinements

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000477 ◽

1997 ◽

pp. 276-291 ◽

Cited By ~ 13

Author(s):

Bart Jacobs

Download Full-text