Visibly pushdown modular games
From MaRDI portal
Publication:515657
DOI10.1016/j.ic.2016.07.007zbMath1362.68166OpenAlexW2794005610MaRDI QIDQ515657
I. De Crescenzo, Salvatore La Torre, Yaron Velner
Publication date: 16 March 2017
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2016.07.007
Games involving graphs (91A43) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Visibly pushdown modular games
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
- Verification of scope-dependent hierarchical state machines
- Reducing concurrent analysis under a context bound to sequential analysis
- Pushdown processes: Games and model-checking
- Modular strategies for recursive game graphs
- A General Modular Synthesis Problem for Pushdown Systems
- A Temporal Logic for Multi-threaded Programs
- A Unifying Approach for Multistack Pushdown Automata
- Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
- Evaluation is MSOL compatible
- Dense-Timed Pushdown Automata
- Adding nesting structure to words
- Games on Multi-stack Pushdown Systems
- Facets of Synthesis: Revisiting Church’s Problem
- Synthesis from Component Libraries
- First-Order and Temporal Logics for Nested Words
- Modular Synthesis with Open Components
- Deterministic generators and games for Ltl fragments
- Tools and Algorithms for the Construction and Analysis of Systems
- On the Complexity of Ltl Model-Checking of Recursive State Machines
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Computer Aided Verification
- Scope-Bounded Pushdown Languages
- CONCUR 2003 - Concurrency Theory
- Computer Aided Verification
This page was built for publication: Visibly pushdown modular games