A Decidable Non-Regular Modal Fixpoint Logic.

Florian Bruse, Martin Lange

Browse the full CONCUR paper archive.