A linear-time model-checking algorithm for the alternation-free modal mu-calculus
- 1 January 1992
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Bisimulations and divergencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Auto/AutographPublished by American Mathematical Society (AMS) ,1991
- Computing behavioural relations, logicallyPublished by Springer Nature ,1991
- The concurrency workbenchPublished by Springer Nature ,1990
- Characteristic formulaePublished by Springer Nature ,1989
- A linear algorithm to solve fixed-point equations on transition systemsInformation Processing Letters, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955