The modal $μ$-calculus hierarchy over restricted classes of transition systems

TitleThe modal $μ$-calculus hierarchy over restricted classes of transition systems
Publication TypeJournal Article
Year of Publication2009
AuthorsAlberucci, L, Facchini, A
JournalJournal of Symbolic Logic
Volume74
Pagination1367-1400
URLhttp://www.iam.unibe.ch/ltgpub/2009/af09b.pdf