Output details
11 - Computer Science and Informatics
Royal Holloway, University of London
Return to search
Output 0 of 0 in the submission
Article title
A saturation method for the modal μ-calculus over pushdown systems
Type
D - Journal article
Title of journal
Information and Computation
Article number
-
Volume number
209
Issue number
5
First page of article
799
ISSN of journal
0890-5401
Year of publication
2011
Number of additional authors
1
Additional information
<07>This paper was an invited (peer reviewed) Information and Computation submission of a Concur 2009 article. It solves a 12 year open problem (a partial solution first appeared in "Reachability Analysis of Pushdown Automata" in Concur 1997). The work was later implemented in PDSolver (http://www.cs.rhul.ac.uk/~hague/files/implementations/pdsolver.html), presented at SPIN 2010. The paper introduces new techniques later used by the author to develop an algorithm (in ICALP 2012) underpinning the new C-SHORe tool (http://www.cshore.cs.rhul.ac.uk), which forms the basis of a recent EPSRC Early Career Fellowship awarded to the author (EP/K009907/1).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Centre for Software Language Engineering
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
