Coalgebraic Bisimulation-Up-To.

Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten

Browse the full SOFSEM paper archive.