Model-Checking Games for Fixpoint Logics with Partial Order Models.

Julian Gutierrez, Julian C. Bradfield

Browse the full CONCUR paper archive.