Cover Image

A Datalog Framework for Conflict-Free Replicated Data Types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yanakieva, Elena, Bieniusa, Annette, Dumbrava, Stefania
Format:	Preprint
Published:	2026
Subjects:	Distributed, Parallel, and Cluster Computing Databases Logic in Computer Science Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
by: Haas, Julian, et al.
Published: (2025)

Distributed Locking as a Data Type
by: Haas, Julian, et al.
Published: (2024)

VerIso: Verifiable Isolation Guarantees for Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2025)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
by: Pham, Long, et al.
Published: (2023)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
by: Yao, Shucai, et al.
Published: (2025)

The Free Termination Property of Queries Over Time
by: Power, Conor, et al.
Published: (2025)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2024)

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
by: Esterhuyse, Christopher A., et al.
Published: (2025)

Multi-Relational Algebra for Multi-Granular Data Analytics
by: Wu, Xi, et al.
Published: (2023)

Sal: Multi-modal Verification of Replicated Data Types
by: Ramesh, Pranav, et al.
Published: (2026)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2025)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
by: Agarwal, Shubham, et al.
Published: (2026)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025)

Types for Grassroots Logic Programs
by: Shapiro, Ehud
Published: (2026)

Deciding Serializability in Network Systems
by: Amir, Guy, et al.
Published: (2026)

Approaches to Conflict-free Replicated Data Types
by: Almeida, Paulo Sérgio
Published: (2023)

LARK -- Linearizability Algorithms for Replicated Keys in Aerospike
by: Goodng, Andrew, et al.
Published: (2025)

Ethereum Conflicts Graphed
by: Biton, Dvir David, et al.
Published: (2025)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
by: Mathur, Umang, et al.
Published: (2022)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
by: Shapiro, Ehud
Published: (2025)

A categorical and logical framework for iterated protocols
by: Goubault, Eric, et al.
Published: (2025)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
by: Shapiro, Ehud
Published: (2026)

Coordination-free Collaborative Replication based on Operational Transformation
by: Takeichi, Masato
Published: (2024)

MSF-Model: Queuing-Based Analysis and Prediction of Metastable Failures in Replicated Storage Systems
by: Habibi, Farzad, et al.
Published: (2023)

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

Distributed Knowledge in Simplicial Models
by: Goubault, Éric, et al.
Published: (2026)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
by: Borrill, Paul
Published: (2026)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
by: Schultz, William, et al.
Published: (2024)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Proceedings 18th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2025)

Application Placement with Constraint Relaxation
by: Azzolini, Damiano, et al.
Published: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
by: Schreiber, Dominik
Published: (2025)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

Verifying the Hashgraph Consensus Algorithm
by: Crary, Karl
Published: (2021)

Knowledge and simplicial complexes
by: van Ditmarsch, Hans, et al.
Published: (2020)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
by: Altisen, Karine, et al.
Published: (2025)

Proceedings 17th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
by: Esparza, Javier, et al.
Published: (2022)