Local model checking in the modal mu-calculus
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Proof systems for Hennessy-Milner Logic with recursionPublished by Springer Nature ,2005
- Temporal logics for CCSPublished by Springer Nature ,1989
- Characteristic formulaePublished by Springer Nature ,1989
- Modal logics for communicating systemsTheoretical Computer Science, 1987
- A modal characterization of observational congruence on finite terms of CCSInformation and Control, 1986
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Additional comments on a problem in concurrent programming controlCommunications of the ACM, 1966