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)

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

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)