Compositional proof systems for model checking infinite state processes
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Reasoning about higher-order processesPublished by Springer Nature ,1995
- Model checking of macro processesPublished by Springer Nature ,1994
- A compositional proof system for the modal μ-calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- Local model checking for infinite state spacesTheoretical Computer Science, 1992
- Compositionality Through an Operational Semantics of ContextsJournal of Logic and Computation, 1991
- Local model checking in the modal mu-calculusTheoretical Computer Science, 1991
- An automata theoretic decision procedure for the propositional mu-calculusInformation and Computation, 1989