MSO decidability of multi-pushdown systems via split-width

DOI10.1007/978-3-642-32940-1_38MaRDI QIDQ2912701zbMATH OpenOpenAlexFDO

Authors Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar

Publication date 25 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32940-1_38

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verifying communicating multi-pushdown systems via split-width
• Data multi-pushdown automata
• Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
• The Complexity of Model Checking Multi-stack Systems
• Adjacent ordered multi-pushdown systems

Cited in

(18)

• Realizability of concurrent recursive programs
• Reachability of scope-bounded multistack pushdown systems
• On exteriority notions in book embeddings and treewidth
• The complexity of model checking multi-stack systems
• Verification of parameterized communicating automata via split-width
• Automata and Logics for Concurrent Systems: Five Models in Five Pages
• Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
• Verifying communicating multi-pushdown systems via split-width
• Emptiness of ordered multi-pushdown automata is 2ETIME-complete
• Analyzing timed systems using tree automata
• Temporal logics for concurrent recursive programs: satisfiability and model checking
• Bounded context switching for valence systems
• Revisiting underapproximate reachability for multipushdown systems
• Hyper partial order logic
• Data multi-pushdown automata
• Towards an Efficient Tree Automata based technique for Timed Systems
• On the complexity of multi-pushdown games
• Weighted tiling systems for graphs: evaluation complexity

This page was built for publication: MSO decidability of multi-pushdown systems via split-width

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2912701)