Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems
- 1 December 1999
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 59 (3) , 537-556
- https://doi.org/10.1006/jcss.1999.1660
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- State space reduction by non-standard semantics for deadlock analysisScience of Computer Programming, 1998
- Local model checking for infinite state spacesTheoretical Computer Science, 1992
- Tableau-based model checking in the propositional mu-calculusActa Informatica, 1990
- Results on the propositional μ-calculusTheoretical Computer Science, 1983