Coalgebraic Trace Semantics for Buechi and Parity Automata.

Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo

Browse the full CONCUR paper archive.