A Formal Model for the Deferred Update Replication Technique (Q2830037): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-05119-2_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1466862080
@@ Property / OpenAlex ID: W1466862080 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness proof of a database replication protocol under the perspective of the I/O automaton model
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+The serializability of concurrent database updates
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2830037