Emergent Mind
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
(1006.5906)
Published Jun 30, 2010
in
cs.FL
and
cs.LO
Abstract
We present an extension of an algorithm for computing directly the denotation of a mu-calculus formula X over the configuration graph of a pushdown system to allow backwards modalities. Our method gives the first extension of the saturation technique to the full mu-calculus with backwards modalities.
We're not able to analyze this paper right now due to high demand.
Please check back later (sorry!).
Generate a summary of this paper on our Pro plan:
We ran into a problem analyzing this paper.