Categorical specification and implementation of replicated data types (Q2072069): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2021.12.020
+Normal rank
@@ Property / OpenAlex ID @@
+W4200072206
@@ Property / OpenAlex ID: W4200072206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4967240
@@ Property / cites work: Q4967240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Theory of Barbs, Contexts, and Labels
@@ Property / cites work: A General Theory of Barbs, Contexts, and Labels / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying eventual consistency of optimistic replication systems
+Normal rank
@@ Property / cites work @@
+Replicated data types
@@ Property / cites work: Replicated data types / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Transactional Consistency Models with Atomic Visibility
+Normal rank
@@ Property / cites work @@
+Implementation correctness for replicated data types, categorically
+Normal rank
@@ Property / cites work @@
+Q5875678
@@ Property / cites work: Q5875678 / rank @@
+Normal rank
@@ Property / cites work @@
+Composite Replicated Data Types
@@ Property / cites work: Composite Replicated Data Types / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of higher-order process calculi
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904106
@@ Property / cites work: Q4904106 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational presheaves, change of base and weak simulation
+Normal rank