Alexandra Silva: tutorial on Coalgebra and coinduction in automata theory.

We introduce basic concepts of the coalgebraic framework using automata and languages as guiding example. We show how a more abstract perspective on a classical discipline can yield interesting insights and lead to possible generalisations.