Eventually-serializable data services (Q1292429): Difference between revisions

@@ Property / author @@
+Nancy A. Lynch
@@ Property / author: Nancy A. Lynch / rank @@
+Normal rank
@@ Property / author @@
+Alexander A. Schwarzmann
@@ Property / author: Alexander A. Schwarzmann / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+INGRES
@@ Property / describes a project that uses: INGRES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. II: Timing-based systems
+Normal rank
@@ Property / cites work @@
+Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres
+Normal rank