Unifying stabilization and termination in message-passing systems (Q1953246): Difference between revisions

@@ Property / cites work @@
+Self-stabilization over unreliable communication media
+Normal rank
@@ Property / cites work @@
+Termination detection for diffusing computations
@@ Property / cites work: Termination detection for diffusing computations / rank @@
+Normal rank
@@ Property / cites work @@
+Memory requirements for silent stabilization
@@ Property / cites work: Memory requirements for silent stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-state self-stabilizing protocols in message-passing systems
+Normal rank
@@ Property / cites work @@
+The complexity of crash failures
@@ Property / cites work: The complexity of crash failures / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
+Normal rank
@@ Property / cites work @@
+Stabilization-preserving atomicity refinement
@@ Property / cites work: Stabilization-preserving atomicity refinement / rank @@
+Normal rank