Realizability of Concurrent Recursive Programs (Q3617744): Difference between revisions

@@ 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 @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Adding Nesting Structure to Words
@@ Property / cites work: Adding Nesting Structure to Words / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding Synthesis of Asynchronous Automata
@@ Property / cites work: Unfolding Synthesis of Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of 2-Stack Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+A Generic Approach to the Static Analysis  of Concurrent Programs with Procedures
+Normal rank
@@ Property / cites work @@
+Q4501674
@@ Property / cites work: Q4501674 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+LTL is expressively complete for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+A Kleene theorem and model checking algorithms for existentially bounded communicating automata
+Normal rank
@@ Property / cites work @@
+Constructing Exponential-Size Deterministic Zielonka Automata
+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 @@
+Weighted asynchronous cellular automata
@@ Property / cites work: Weighted asynchronous cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+Q4251925
@@ Property / cites work: Q4251925 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941891
@@ Property / cites work: Q4941891 / 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 @@
+Model Checking Multithreaded Programs with Asynchronous Atomic Methods
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank