Acceleration in multi-pushdown systems

DOI10.1007/978-3-662-49674-9_45MaRDI QIDQ2272932zbMATH OpenOpenAlexFDO

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

Publication date 17 September 2019

Full work available at URL https://doi.org/10.1007/978-3-662-49674-9_45

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Adjacent ordered multi-pushdown systems
• Adjacent ordered multi-pushdown systems
• Well-structured pushdown systems
• On the analysis of interacting pushdown systems
• Revisiting underapproximate reachability for multipushdown systems

Cited in

(3)

• About \textsc{Fast} and \textsc{TReX} accelerations
• Data multi-pushdown automata
• The algebraic synthesis of a spatial TS chain for a prescribed acceleration task

This page was built for publication: Acceleration in multi-pushdown systems

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