Bart Jacobs
-
Simulations in coalgebra
Theoretical Computer Science - Selected papers of CMCS'03
Bases as coalgebras
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science