Well-structured pushdown system: case of dense timed pushdown automata

DOI10.1007/978-3-319-07151-0_21MaRDI QIDQ5170722zbMATH OpenOpenAlexFDO

Authors Xiaojuan Cai, Mizuhito Ogawa

Publication date 24 July 2014

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-07151-0_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Dense-timed pushdown automata
• scientific article; zbMATH DE number 1796157
• A logical characterization of timed pushdown languages
• Well-structured pushdown systems
• Timed Pushdown Automata Revisited

Cited in

(7)

• Analyzing pushdown systems with stack manipulation
• Reachability relations of timed pushdown automata
• Well-structured pushdown systems
• Nested timed automata with frozen clocks
• Zenoness for timed pushdown automata
• Well structured transition systems with history
• Hardness results for coverability problem of well-structured pushdown systems

This page was built for publication: Well-structured pushdown system: case of dense timed pushdown automata

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