μ-Calculus Synthesis
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 497-507
- https://doi.org/10.1007/3-540-44612-5_45
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Tree automata, mu-calculus and determinacyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Guarded fixed point logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Automata for the modal μ-calculus and related resultsPublished by Springer Nature ,1995
- On model-checking for fragments of μ-calculusPublished by Springer Nature ,1993
- Temporal and Modal LogicPublished by Elsevier ,1990
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Characterizing correctness properties of parallel programs using fixpointsPublished by Springer Nature ,1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979