Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages.

Vincenzo Ciancia, Yde Venema

Browse the full CALCO paper archive.