Coalgebraic Theory of Bchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial).

Ichiro Hasuo

Browse the full CONCUR paper archive.