Synthesis of Fault-Tolerant Distributed Systems (Q3648709): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1599881922
@@ Property / OpenAlex ID: W1599881922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+On Verifying Fault Tolerance of Distributed Protocols
+Normal rank
@@ Property / cites work @@
+Distributed Synthesis for Well-Connected Architectures
+Normal rank
@@ Property / cites work @@
+Q2766635
@@ Property / cites work: Q2766635 / rank @@
+Normal rank
@@ Property / cites work @@
+Church's Problem Revisited
@@ Property / cites work: Church's Problem Revisited / rank @@
+Normal rank