Modal Transition Systems: A Foundation for Three-Valued Program Analysis
Top Cited Papers
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 155-169
- https://doi.org/10.1007/3-540-45309-1_11
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Three logics for branching bisimulationJournal of the ACM, 1995
- CTL∗ and ECTL∗ as fragments of the modal μ-calculusTheoretical Computer Science, 1994
- Power domains and second-order predicatesTheoretical Computer Science, 1993
- The mixed powerdomainTheoretical Computer Science, 1992
- Bisimulation and divergenceInformation and Computation, 1990
- Some modal logics based on a three-valued logic.Notre Dame Journal of Formal Logic, 1988
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976
- Some Modal Logics based on a Three‐valued LogicTheoria, 1967