Strong eventual consistency of the collaborative editing framework WOOT (Q2121065): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00446-021-00414-6
+Normal rank
@@ Property / OpenAlex ID @@
+W3018022726
@@ Property / OpenAlex ID: W3018022726 / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Distributed Algorithms for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Replicated abstract data types: building blocks for collaborative applications
+Normal rank
@@ Property / cites work @@
+Q4904106
@@ Property / cites work: Q4904106 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs
+Normal rank