Realizability of concurrent recursive programs (Q1620953): Difference between revisions

@@ Property / cites work @@
+Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
+Normal rank
@@ Property / cites work @@
+Q2963915
@@ Property / cites work: Q2963915 / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for the Verification of Communicating Multi-pushdown Systems
+Normal rank
@@ Property / cites work @@
+Verifying Communicating Multi-pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+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 @@
+Temporal logics for concurrent recursive programs: satisfiability and model checking
+Normal rank
@@ Property / cites work @@
+Model-Checking Bounded Multi-Pushdown Systems
@@ Property / cites work: Model-Checking Bounded Multi-Pushdown Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability of Concurrent Recursive Programs
@@ Property / cites work: Realizability of Concurrent Recursive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Model Checking Multi-stack Systems
+Normal rank
@@ Property / cites work @@
+Synthesis of Safe Message-Passing Systems
@@ Property / cites work: Synthesis of Safe Message-Passing Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of 2-Stack Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+MSO Decidability of Multi-Pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Q3504343
@@ Property / cites work: Q3504343 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Exponential-Size Deterministic Zielonka Automata
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Communicating Pushdown Systems
+Normal rank
@@ Property / cites work @@
+A theory of regular MSC languages
@@ Property / cites work: A theory of regular MSC languages / rank @@
+Normal rank
@@ Property / cites work @@
+Regular sets of infinite message sequence charts
@@ Property / cites work: Regular sets of infinite message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted asynchronous cellular automata
@@ Property / cites work: Weighted asynchronous cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded MSC communication
@@ Property / cites work: Bounded MSC communication / rank @@
+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 @@
+Scope-Bounded Pushdown Languages
@@ Property / cites work: Scope-Bounded Pushdown Languages / rank @@
+Normal rank
@@ Property / cites work @@
+A Unifying Approach for Multistack Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
+Normal rank
@@ Property / cites work @@
+Interprocedural Analysis of Concurrent Programs Under a Context Bound
+Normal rank
@@ Property / cites work @@
+Model Checking Concurrent Recursive Programs Using Temporal Logics
+Normal rank
@@ Property / cites work @@
+Q4941891
@@ Property / cites work: Q4941891 / rank @@
+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 @@
+On Visibly Pushdown Trace Languages
@@ Property / cites work: On Visibly Pushdown Trace Languages / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank