4 search results - page 1 / 1 » A Saturation Method for the Modal Mu-Calculus with Backwards... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We present an algorithm for computing directly the denotation of a modal
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
FOSSACS
2009
Springer
13 years 12 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
CADE
2007
Springer
14 years 5 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...