Some impossibility results in interprocess synchronization (Q1261111): Difference between revisions

@@ Property / cites work @@
+Appraising fairness in languages for distributed programming
+Normal rank
@@ Property / cites work @@
+Distributed cooperation with action systems
@@ Property / cites work: Distributed cooperation with action systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Implementation for the Generalized Input-Output Construct of CSP
+Normal rank
@@ Property / cites work @@
+How processes learn
@@ Property / cites work: How processes learn / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+The multiway rendezvous
@@ Property / cites work: The multiway rendezvous / rank @@
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+Script: A communication abstraction mechanism and its verification
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723292
@@ Property / cites work: Q4723292 / rank @@
+Normal rank