30 search results - page 6 / 6 » Event-Clock Visibly Pushdown Automata |
FSTTCS
2008
Springer
13 years 7 months ago
2008
Springer
Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
MFCS
2009
Springer
14 years 19 days ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
LATIN
2010
Springer
14 years 27 days ago
2010
Springer
Concurrent compositions of recursive programs with ļ¬nite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
CAV
2009
Springer
14 years 6 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
ECOOP
2007
Springer
14 years 7 days ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...