Self-stabilizing timestamps (Q1884893): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288290
@@ Property / cites work: Q4288290 / rank @@
+Normal rank
@@ Property / cites work @@
+On interprocess communication and the implementation of multi-writer atomic registers
+Normal rank
@@ Property / cites work @@
+Q4256353
@@ Property / cites work: Q4256353 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing \(\ell\)-exclusion
@@ Property / cites work: Self-stabilizing \(\ell\)-exclusion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873992
@@ Property / cites work: Q4873992 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Q2782251
@@ Property / cites work: Q2782251 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Concurrent Time-Stamping
@@ Property / cites work: Bounded Concurrent Time-Stamping / rank @@
+Normal rank
@@ Property / cites work @@
+Simple and efficient bounded concurrent timestamping and the traceable use abstraction
+Normal rank
@@ Property / cites work @@
+Bounded time-stamps
@@ Property / cites work: Bounded time-stamps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473994
@@ Property / cites work: Q4473994 / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+A New Approach to Proving the Correctness of Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+On interprocess communication. I: Basic formalism
@@ Property / cites work: On interprocess communication. I: Basic formalism / 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 @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent reading while writing revisited
@@ Property / cites work: Concurrent reading while writing revisited / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1884893