J. J.M.M. Rutten;Daniel Turi
-;-
On institutions for modular coalgebraic specifications
Theoretical Computer Science
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics