Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-95891-8_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1546061844
@@ Property / OpenAlex ID: W1546061844 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Temporal Logic Is Expressively Complete for Cograph Dependence Alphabets
+Normal rank
@@ Property / cites work @@
+Synthesis of Asynchronous Systems
@@ Property / cites work: Synthesis of Asynchronous Systems / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Distributed Synthesis for Well-Connected Architectures
+Normal rank
@@ Property / cites work @@
+Q4536596
@@ Property / cites work: Q4536596 / rank @@
+Normal rank
@@ Property / cites work @@
+Church's Problem Revisited
@@ Property / cites work: Church's Problem Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536385
@@ Property / cites work: Q4536385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535033
@@ Property / cites work: Q4535033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484484
@@ Property / cites work: Q4484484 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank