Local model checking for context-free processes
Nordic Journal of Computing
Composition, decomposition and model checking of pushdown processes
Nordic Journal of Computing
Distributed Symbolic Model Checking for µ-Calculus
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
An Approximation Semantics for the Propositional Mu-Calculus
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Efficient model checking via the equational /spl mu/-calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
When not losing is better than winning: Abstraction and refinement for the full μ-calculus
Information and Computation
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
The power of parameterization in coinductive proof
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
| Hi-index | 0.00 |