Pushdown Systems with Stack Manipulation

DOI10.1007/978-3-319-02444-8_29zbMath1374.68302OpenAlexW163324349MaRDI QIDQ5166703

Yasuhiko Minamide, Yuya Uezato

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_29

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Analyzing pushdown systems with stack manipulation ⋮ Reachability relations of timed pushdown automata ⋮ Reachability Analysis of Pushdown Systems with an Upper Stack

This page was built for publication: Pushdown Systems with Stack Manipulation