Global Model Checking of Ordered Multi-Pushdown Systems
From MaRDI portal
Publication:2908851
DOI10.4230/LIPICS.FSTTCS.2010.216zbMath1245.68130arXiv1209.1916OpenAlexW2151906265MaRDI QIDQ2908851
Publication date: 29 August 2012
Full work available at URL: https://arxiv.org/abs/1209.1916
Related Items (5)
On store languages and applications ⋮ Temporal logics for concurrent recursive programs: satisfiability and model checking ⋮ Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete ⋮ Data Multi-Pushdown Automata ⋮ On the Complexity of Bounded Context Switching.
This page was built for publication: Global Model Checking of Ordered Multi-Pushdown Systems