The complexity of model checking multi-stack systems (Q2398213): Difference between revisions

@@ Property / cites work @@
+Verifying Communicating Multi-pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+First-Order and Temporal Logics for Nested Words
@@ Property / cites work: First-Order and Temporal Logics for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Checking of Ordered Multi-Pushdown Automata
@@ Property / cites work: Model-Checking of Ordered Multi-Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
+Normal rank
@@ Property / cites work @@
+Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logics for concurrent recursive programs: satisfiability and model checking
+Normal rank
@@ Property / cites work @@
+An optimal construction of Hanf sentences
@@ Property / cites work: An optimal construction of Hanf sentences / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Model Checking Multi-stack Systems
+Normal rank
@@ Property / cites work @@
+MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
@@ Property / cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+MSO Decidability of Multi-Pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Q2904757
@@ Property / cites work: Q2904757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Communicating Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+An Infinite Automaton Characterization of Double Exponential Time
+Normal rank
@@ Property / cites work @@
+Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations
+Normal rank
@@ Property / cites work @@
+A Temporal Logic for Multi-threaded Programs
@@ Property / cites work: A Temporal Logic for Multi-threaded Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
+Normal rank
@@ Property / cites work @@
+The tree width of auxiliary storage
@@ Property / cites work: The tree width of auxiliary storage / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Concurrent Recursive Programs Using Temporal Logics
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The Complexity of Translating Logic to Finite Automata
+Normal rank