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

@@ Property / describes a project that uses @@
+Logoot
@@ Property / describes a project that uses: Logoot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datatype Order Generator
@@ Property / describes a project that uses: Datatype Order Generator / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ 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/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