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

✍ Scribed by Alberucci, Luca; Facchini, Alessandro

• Book ID: 124069230
• Publisher: Association for Symbolic Logic
• Year: 2009
• Tongue: English
• Weight: 327 KB
• Volume: 74
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2178/jsl/1254748696