Automata for Coalgebras: An Approach Using Predicate Liftings.

Galle Fontaine, Raul Andres Leal, Yde Venema

Browse the full ICALP paper archive.