Completeness for Categories of Generalized Automata ((Co)algebraic pearls). - Guido Boccali; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (CALCO, 2023)

Bicategories of automata, automata in bicategories. - Guido Boccali; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (ACT, 2023)

Completeness for categories of generalized automata. - Guido Boccali; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (CoRR, 2023)

The semibicategory of Moore automata. - Guido Boccali; Bojana Femic; Andrea Laretto; Fosco Loregiàn; Stefano Luneia (CoRR, 2023)