Enhanced coalgebraic bisimulation

Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva 0001. Enhanced coalgebraic bisimulation. Mathematical Structures in Computer Science, 27(7):1236-1264, 2017. [doi]

Abstract

Abstract is missing.