Petri Automata for Kleene Allegories.

Paul Brunet, Damien Pous

Browse the full LICS paper archive.