Completeness for Categories of Generalized Automata ((Co)algebraic pearls).

Guido Boccali, Andrea Laretto, Fosco Loregin, Stefano Luneia

Browse the full CALCO paper archive.