Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
From MaRDI portal
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Reachability of scope-bounded multistack pushdown systems
- Reachability of multistack pushdown systems with scope-bounded matching relations
- scientific article; zbMATH DE number 125878
- MSO decidability of multi-pushdown systems via split-width
- On the power of bounded concurrency II
- Model-checking bounded multi-pushdown systems
- On the expressive power of higher-order pushdown systems
- Pushdown reachability with constant treewidth
- A unifying approach for multistack pushdown automata
Cited in
(16)- Context-free ambiguity detection using multi-stack pushdown automata
- Reachability of scope-bounded multistack pushdown systems
- Automated synthesis of distributed controllers
- Towards compositional graph theory
- Revisiting underapproximate reachability for multipushdown systems
- Scope-Bounded Reachability in Valence Systems
- Budget-bounded model-checking pushdown systems
- Emptiness of ordered multi-pushdown automata is 2ETIME-complete
- The complexity of model checking multi-stack systems
- MSO decidability of multi-pushdown systems via split-width
- On Distributed Monitoring and Synthesis
- Data multi-pushdown automata
- Realizability of concurrent recursive programs
- On the path-width of integer linear programming
- Visibly pushdown modular games
- Reachability of multistack pushdown systems with scope-bounded matching relations
This page was built for publication: Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2957490)
