Adjacent ordered multi-pushdown systems

DOI10.1007/978-3-642-38771-5_7zbMATH Open1381.68045OpenAlexW1537028008MaRDI QIDQ5300829FDOQ5300829

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• 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
• 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)