Adjacent ordered multi-pushdown systems

DOI10.1007/978-3-642-38771-5_7MaRDI QIDQ5300829zbMATH OpenOpenAlexFDO

Authors Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan

Publication date 28 June 2013

Published in Developments in Language Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38771-5_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Adjacent ordered multi-pushdown systems
• Global model checking of ordered multi-pushdown systems
• Ordered tree-pushdown systems
• Model-checking of ordered multi-pushdown automata
• Reachability of scope-bounded multistack pushdown systems

Cited in

(9)

• Model-checking of ordered multi-pushdown automata
• Acceleration in multi-pushdown systems
• Controllers for the verification of communicating multi-pushdown systems
• Ordered tree-pushdown systems
• Budget-bounded model-checking pushdown systems
• On the satisfiability of context-free string constraints with subword-ordering
• Satisfiability of context-free string constraints with subword-ordering and transducers
• MSO decidability of multi-pushdown systems via split-width
• Adjacent ordered multi-pushdown systems

This page was built for publication: Adjacent ordered multi-pushdown systems

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