Coalgebraic bisimulation-up-to (2013)

by Jurriaan Rot, Marcello M Bonsangue, Jan J M M Rutten
Venue:In SOFSEM