A classification of wait-free loop agreement tasks (Q1870526): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic snapshots of shared memory
@@ Property / cites work: Atomic snapshots of shared memory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3660524
@@ Property / cites work: Q3660524 / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming in an asynchronous environment
@@ Property / cites work: Renaming in an asynchronous environment / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial characterization of the distributed 1-solvable tasks
+Normal rank
@@ Property / cites work @@
+A simple algorithmically reasoned characterization of wait-free computation (extended abstract)
+Normal rank
@@ Property / cites work @@
+Generalized FLP impossibility result for <i>t</i>-resilient asynchronous computations
+Normal rank
@@ Property / cites work @@
+Wait-freedom vs. <i>t</i>-resiliency and the robustness of wait-free hierarchies (extended abstract)
+Normal rank
@@ Property / cites work @@
+More \(choices\) allow more \(faults\): Set consensus problems in totally asynchronous systems
+Normal rank
@@ Property / cites work @@
+On the minimal synchronism needed for distributed consensus
+Normal rank
@@ Property / cites work @@
+Consensus power makes (some) sense! (extended abstract)
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+Round-by-round fault detectors (extended abstract)
+Normal rank
@@ Property / cites work @@
+Three-Processor Tasks Are Undecidable
@@ Property / cites work: Three-Processor Tasks Are Undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318989
@@ Property / cites work: Q4318989 / rank @@
+Normal rank
@@ Property / cites work @@
+Set consensus using arbitrary objects (preliminary version)
+Normal rank
@@ Property / cites work @@
+Algebraic spans
@@ Property / cites work: Algebraic spans / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527026
@@ Property / cites work: Q4527026 / rank @@
+Normal rank
@@ Property / cites work @@
+The asynchronous computability theorem for <i>t</i>-resilient tasks
+Normal rank
@@ Property / cites work @@
+A simple constructive computability theorem for wait-free computation
+Normal rank
@@ Property / cites work @@
+Towards a topological characterization of asynchronous complexity
+Normal rank
@@ Property / cites work @@
+On the robustness of Herlihy's hierarchy
@@ Property / cites work: On the robustness of Herlihy's hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+How to share concurrent wait-free variables
@@ Property / cites work: How to share concurrent wait-free variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527025
@@ Property / cites work: Q4527025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134589
@@ Property / cites work: Q4134589 / rank @@
+Normal rank
@@ Property / cites work @@
+The unified structure of consensus
@@ Property / cites work: The unified structure of consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827224
@@ Property / cites work: Q3827224 / rank @@
+Normal rank
@@ Property / cites work @@
+A gap theorem for consensus types extended abstract
+Normal rank
@@ Property / cites work @@
+Wait-free <i>k</i>-set agreement is impossible
@@ Property / cites work: Wait-free <i>k</i>-set agreement is impossible / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522742
@@ Property / cites work: Q5522742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900682
@@ Property / cites work: Q3900682 / rank @@
+Normal rank