Local model checking in the modal mu-calculus
- 1 October 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 89 (1) , 161-177
- https://doi.org/10.1016/0304-3975(90)90110-4
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Proof systems for satisfiability in Hennessy-Milner Logic with recursionTheoretical Computer Science, 1990
- Automated analysis of mutual exclusion algorithms using CCSFormal Aspects of Computing, 1989
- A refinement calculus for specifications in Hennessy-Milner logic with recursionFormal Aspects of Computing, 1989
- Temporal logics for CCSPublished by Springer Nature ,1989
- Characteristic formulaePublished by Springer Nature ,1989
- Modal logics for communicating systemsTheoretical Computer Science, 1987
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Additional comments on a problem in concurrent programming controlCommunications of the ACM, 1966