On the public citation graph

Principles of Eventual Consistency

https://doi.org/10.1561/2500000011
0 signed · 200 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1995.1134openalex-snapshot
Forward and Backward Simulations
inferredcites →https://doi.org/10.1006/inco.1996.0060openalex-snapshot
Forward and Backward Simulations
inferredcites →https://doi.org/10.1007/11795490_3openalex-snapshot
A Lazy Concurrent List-Based Set Algorithm
inferredcites →https://doi.org/10.1007/11817963_44openalex-snapshot
Formal Verification of a Lazy Concurrent List-Based Set Algorithm
inferredcites →https://doi.org/10.1007/3-540-36108-1_18openalex-snapshot
A Practical Multi-word Compare-and-Swap Operation
inferredcites →https://doi.org/10.1007/3-540-45414-4_21openalex-snapshot
A Pragmatic Implementation of Non-blocking Linked-lists
inferredcites →https://doi.org/10.1007/3-540-61474-5_86openalex-snapshot
The Mur ϕ verification system
inferredcites →https://doi.org/10.1007/978-3-031-02477-1openalex-snapshot
Replicated Data Management for Mobile Computing
inferredcites →https://doi.org/10.1007/978-3-642-11294-2openalex-snapshot
Replication: theory and Practice
inferredcites →https://doi.org/10.1007/978-3-642-11294-2_1openalex-snapshot
Consistency Models for Replicated Data
inferredcites →https://doi.org/10.1007/978-3-642-15260-3openalex-snapshot
Introduction to Reliable and Secure Distributed Programming
inferredcites →https://doi.org/10.1007/978-3-642-19718-5_7openalex-snapshot
Semantics of Concurrent Revisions
inferredcites →https://doi.org/10.1007/978-3-642-24550-3_29openalex-snapshot
Conflict-Free Replicated Data Types
inferredcites →https://doi.org/10.1007/978-3-642-28756-5_15openalex-snapshot
Counter-Example Guided Fence Insertion under TSO
inferredcites →https://doi.org/10.1007/978-3-642-28869-2_4openalex-snapshot
Eventually Consistent Transactions
inferredcites →https://doi.org/10.1007/978-3-642-31057-7_14openalex-snapshot
Cloud Types for Eventual Consistency
inferredcites →https://doi.org/10.1007/978-3-642-33651-5_48openalex-snapshot
Brief Announcement: Semantics of Eventually Consistent Replicated Sets
inferredcites →https://doi.org/10.1007/978-3-662-44202-9_26openalex-snapshot
MiCA: A Compositional Architecture for Gossip Protocols
inferredcites →https://doi.org/10.1007/bfb0022433openalex-snapshot
Distributed Algorithms
inferredcites →https://doi.org/10.1016/0020-0190(85)90056-0openalex-snapshot
Defining liveness
inferredcites →https://doi.org/10.1016/0304-3975(91)90224-popenalex-snapshot
The existence of refinement mappings
inferredcites →https://doi.org/10.1016/j.jpdc.2010.12.006openalex-snapshot
Replicated abstract data types: Building blocks for collaborative applications
inferredcites →https://doi.org/10.1016/j.tcs.2005.09.066openalex-snapshot
Formal design and verification of operational transformation algorithms for copies convergence
inferredcites →https://doi.org/10.1057/jors.1991.155openalex-snapshot
Introduction to Algorithms
inferredcites →https://doi.org/10.1109/2.546611openalex-snapshot
Shared memory consistency models: a tutorial
inferredcites →https://doi.org/10.1109/71.242161openalex-snapshot
A unified formalization of four shared-memory models
inferredcites →https://doi.org/10.1109/mc.2012.33openalex-snapshot
Consistency Tradeoffs in Modern Distributed Database System Design: CAP is Only Part of the Story
inferredcites →https://doi.org/10.1109/pdis.1994.331722openalex-snapshot
Session guarantees for weakly consistent replicated data
inferredcites →https://doi.org/10.1109/tc.1979.1675439openalex-snapshot
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
inferredcites →https://doi.org/10.1145/1040305.1040336openalex-snapshot
The Java memory model
inferredcites →https://doi.org/10.1145/1057977.1057980openalex-snapshot
Optimistic replication
inferredcites →https://doi.org/10.1145/1071610.1071615openalex-snapshot
Making snapshot isolation serializable
inferredcites →https://doi.org/10.1145/1082469.1082470openalex-snapshot
Gossip-based aggregation in large dynamic networks
inferredcites →https://doi.org/10.1145/1122971.1122992openalex-snapshot
Proving correctness of highly-concurrent linearisable objects
inferredcites →https://doi.org/10.1145/1250734.1250737openalex-snapshot
CheckFence
inferredcites →https://doi.org/10.1145/1294261.1294281openalex-snapshot
Dynamo
inferredcites →https://doi.org/10.1145/1375581.1375591openalex-snapshot
Foundations of the C++ concurrency memory model
inferredcites →https://doi.org/10.1145/1773912.1773922openalex-snapshot
Cassandra
inferredcites →https://doi.org/10.1145/1785414.1785443openalex-snapshot
x86-TSO
inferredcites →https://doi.org/10.1145/1806596.1806634openalex-snapshot
Line-up
inferredcites →https://doi.org/10.1145/1900160.1900176openalex-snapshot
Riak Core
inferredcites →https://doi.org/10.1145/1925844.1926394openalex-snapshot
Mathematizing C++ concurrency
inferredcites →https://doi.org/10.1145/1926385.1926394openalex-snapshot
Mathematizing C++ concurrency
inferredcites →https://doi.org/10.1145/1993316.1993520openalex-snapshot
Understanding POWER multiprocessors
inferredcites →https://doi.org/10.1145/2043556.2043592openalex-snapshot
Transactional storage for geo-replicated systems
inferredcites →https://doi.org/10.1145/2043556.2043593openalex-snapshot
Don't settle for eventual
inferredcites →https://doi.org/10.1145/215585.215706openalex-snapshot
High-latency, low-bandwidth windowing in the Jupiter collaboration system
inferredcites →https://doi.org/10.1145/223784.223785openalex-snapshot
A critique of ANSI SQL isolation levels
inferredcites →https://doi.org/10.1145/224056.224070openalex-snapshot
Managing update conflicts in Bayou, a weakly connected replicated storage system
inferredcites →https://doi.org/10.1145/2261417.2261438openalex-snapshot
Automatic inference of memory fences
inferredcites →https://doi.org/10.1145/2429069.2429099openalex-snapshot
Library abstraction for C/C++ concurrency
inferredcites →https://doi.org/10.1145/2463676.2465339openalex-snapshot
Rethinking eventual consistency
inferredcites →https://doi.org/10.1145/2500500openalex-snapshot
Replicated data consistency explained through baseball
inferredcites →https://doi.org/10.1145/2535838.2535848openalex-snapshot
Replicated data types
inferredcites →https://doi.org/10.1145/2596624openalex-snapshot
Don't settle for eventual consistency
inferredcites →https://doi.org/10.1145/268998.266711openalex-snapshot
Flexible update propagation for weakly consistent replication
inferredcites →https://doi.org/10.1145/269005.266711openalex-snapshot
Flexible update propagation for weakly consistent replication
inferredcites →https://doi.org/10.1145/289444.289469openalex-snapshot
Operational transformation in real-time group editors
inferredcites →https://doi.org/10.1145/3149.214121openalex-snapshot
Impossibility of distributed consensus with one faulty process
inferredcites →https://doi.org/10.1145/320071.320076openalex-snapshot
A Majority consensus approach to concurrency control for multiple copy databases
inferredcites →https://doi.org/10.1145/343477.343502openalex-snapshot
Towards robust distributed systems (abstract)
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/3788687openalex-snapshot
An Introduction to Input/Output Automata
inferredcites →https://doi.org/10.1145/41840.41852openalex-snapshot
Hierarchical correctness proofs for distributed algorithms
inferredcites →https://doi.org/10.1145/42190.42277openalex-snapshot
Efficient and correct execution of parallel programs that share memory
inferredcites →https://doi.org/10.1145/564585.564601openalex-snapshot
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
inferredcites →https://doi.org/10.1145/762483.762485openalex-snapshot
Astrolabe
inferredcites →https://doi.org/10.1145/78969.78972openalex-snapshot
Linearizability: a correctness condition for concurrent objects
inferredcites →https://doi.org/10.1184/r1/6609965openalex-snapshot
Stronger Semantics for Low-Latency Geo-Replicated Storage
inferredcites →https://doi.org/10.14778/2732232.2732237openalex-snapshot
Highly available transactions
inferredcites →https://doi.org/10.4064/fm-16-1-386-389openalex-snapshot
Sur l'extension de l'ordre partiel
inferredcites →https://doi.org/10.48550/arxiv.1210.3368openalex-snapshot
An optimized conflict-free replicated set
inferredcites →https://doi.org/10.5555/800253.807732openalex-snapshot
A principle for resilient sharing of distributed resources

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.3412openalex-snapshot
Experimental Performance Analysis of Data Consistency Levels in NoSQL Databases
inferred← citeshttps://doi.org/10.1007/978-3-030-17465-1_3openalex-snapshot
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
inferred← citeshttps://doi.org/10.1007/978-3-030-25543-5_19openalex-snapshot
On the Complexity of Checking Consistency for Replicated Data Types
inferred← citeshttps://doi.org/10.1007/978-3-030-30690-8_15openalex-snapshot
Eventual Consistency Formalized
inferred← citeshttps://doi.org/10.1007/978-3-030-39322-9_18openalex-snapshot
Formalizing and Checking Multilevel Consistency
inferred← citeshttps://doi.org/10.1007/978-3-030-40914-2_11openalex-snapshot
Combining State- and Event-Based Semantics to Verify Highly Available Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_20openalex-snapshot
Proving the Safety of Highly-Available Distributed Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_13openalex-snapshot
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-58462-7_14openalex-snapshot
Interplaying Cassandra NoSQL Consistency and Performance: A Benchmarking Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-59152-6_20openalex-snapshot
Boosting Sequential Consistency Checking Using Saturation
inferred← citeshttps://doi.org/10.1007/978-3-030-67087-0_17openalex-snapshot
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_4openalex-snapshot
Checking Robustness Between Weak Transactional Consistency Models
inferred← citeshttps://doi.org/10.1007/978-3-030-72789-5_4openalex-snapshot
Foundations of Consistency Types for a Higher-Order Distributed Language
inferred← citeshttps://doi.org/10.1007/978-3-030-85896-4_16openalex-snapshot
LinKV: An RDMA-Enabled KVS for High Performance and Strict Consistency Under Skew
inferred← citeshttps://doi.org/10.1007/978-3-031-30823-9_30openalex-snapshot
Parameterized Verification under TSO with Data Types
inferred← citeshttps://doi.org/10.1007/978-3-031-30823-9_6openalex-snapshot
Optimal Stateless Model Checking for Causal Consistency
inferred← citeshttps://doi.org/10.1007/978-3-031-37765-5_5openalex-snapshot
Comparing Causal Convergence Consistency Models
inferred← citeshttps://doi.org/10.1007/978-3-031-39698-4_39openalex-snapshot
Transactional-Turn Causal Consistency
inferred← citeshttps://doi.org/10.1007/978-3-031-57256-2_14openalex-snapshot
Verification under TSO with an infinite Data Domain
inferred← citeshttps://doi.org/10.1007/978-3-031-78709-6_9openalex-snapshot
Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
inferred← citeshttps://doi.org/10.1007/978-3-032-07333-4_1openalex-snapshot
Building a Booking System for Federated Cross Reality Laboratories
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_12openalex-snapshot
Complexity of Consistency Testing for the Release-Acquire Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-28406-4_4openalex-snapshot
Consistency in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-39519-7_11openalex-snapshot
A Formal Analysis of the Global Sequence Protocol
inferred← citeshttps://doi.org/10.1007/978-3-319-56157-8_10openalex-snapshot
Operational Semantics for the Rigorous Analysis of Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-59746-1_8openalex-snapshot
A Denotational View of Replicated Data Types
inferred← citeshttps://doi.org/10.1007/978-3-319-65406-5_4openalex-snapshot
Consistency-Latency Trade-Off of the LibRe Protocol: A Detailed Study
inferred← citeshttps://doi.org/10.1007/978-3-319-89884-1_34openalex-snapshot
Eventual Consistency for CRDTs
inferred← citeshttps://doi.org/10.1007/978-3-319-92612-4_3openalex-snapshot
Monotonic Prefix Consistency in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_26openalex-snapshot
Monitoring Weak Consistency
inferred← citeshttps://doi.org/10.1007/978-981-96-9392-4_5openalex-snapshot
Consistency of Distributed Data Services
inferred← citeshttps://doi.org/10.1007/s00446-016-0292-9openalex-snapshot
The weakest failure detector for eventual consistency
inferred← citeshttps://doi.org/10.1007/s11390-021-1662-8openalex-snapshot
Checking Causal Consistency of MongoDB
inferred← citeshttps://doi.org/10.1016/j.future.2019.05.018openalex-snapshot
Pipeline-integrity: Scaling the use of authenticated data structures up to the cloud
inferred← citeshttps://doi.org/10.1016/j.future.2019.11.038openalex-snapshot
Strict Timed Causal Consistency as a Hybrid Consistency Model in the Cloud Environment
inferred← citeshttps://doi.org/10.1016/j.scico.2018.06.003openalex-snapshot
On the semantics and implementation of replicated data types
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102687openalex-snapshot
Combining state- and event-based semantics to verify highly available applications
inferred← citeshttps://doi.org/10.1016/j.tcs.2026.115927openalex-snapshot
Creek: A single-order mixed-consistency replication scheme
inferred← citeshttps://doi.org/10.1017/s1471068426100556openalex-snapshot
A Datalog Framework for Conflict-Free Replicated Data Types
inferred← citeshttps://doi.org/10.1038/s41598-025-03755-5openalex-snapshot
Consistent, highly throughput and space scalable distributed architecture for layered NoSQL data store
inferred← citeshttps://doi.org/10.1093/comjnl/bxy142openalex-snapshot
CAP Theorem: Revision of Its Related Consistency Models
inferred← citeshttps://doi.org/10.1109/cloud55607.2022.00071openalex-snapshot
An Efficient Approach to Move Elements in a Distributed Geo-Replicated Tree
inferred← citeshttps://doi.org/10.1109/dexa.2016.035openalex-snapshot
Replica Divergence in Data-Centric Consistency Models
inferred← citeshttps://doi.org/10.1109/eebda60612.2024.10485815openalex-snapshot
Technical Report: Consistency Assurance for Edge-Assisted Multi-Party Computing and Transport-Intensive Applications
inferred← citeshttps://doi.org/10.1109/fas-w.2019.00034openalex-snapshot
Security in Collective Adaptive Systems: A Roadmap
inferred← citeshttps://doi.org/10.1109/ic2e52221.2021.00033openalex-snapshot
PEDaLS: Persisting Versioned Data Structures
inferred← citeshttps://doi.org/10.1109/icdcs.2018.00116openalex-snapshot
A Distributed Systems Perspective on Industrial IoT
inferred← citeshttps://doi.org/10.1109/icpads56603.2022.00030openalex-snapshot
Tunable Causal Consistency: Specification and Implementation
inferred← citeshttps://doi.org/10.1109/iri.2016.37openalex-snapshot
Toward Bringing Distributed System Design upon Rigorous Footing
inferred← citeshttps://doi.org/10.1109/ivmem63006.2024.10659389openalex-snapshot
Enhancing User-Centric Information Retrieval: A Unified Dual-DBMS Strategy for Integrating Full-Text and Knowledge Graph Searches
inferred← citeshttps://doi.org/10.1109/mttw59774.2023.10320006openalex-snapshot
Making Ping Feint To Avoid Service State Desynchronization
inferred← citeshttps://doi.org/10.1109/srds47363.2019.00027openalex-snapshot
A More Consistent Understanding of Consistency
inferred← citeshttps://doi.org/10.1109/srds51746.2020.00022openalex-snapshot
A Generic Specification Framework for Weakly Consistent Replicated Data Types
inferred← citeshttps://doi.org/10.1109/tnet.2023.3251981openalex-snapshot
A One-Pass Clustering Based Sketch Method for Network Monitoring
inferred← citeshttps://doi.org/10.1109/tpds.2020.2973619openalex-snapshot
Probabilistic Consistency Guarantee in Partial Quorum-Based Data Store
inferred← citeshttps://doi.org/10.1109/tpds.2020.3034328openalex-snapshot
Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores
inferred← citeshttps://doi.org/10.1109/tpds.2021.3090318openalex-snapshot
On Mixing Eventual and Strong Consistency: Acute Cloud Types
inferred← citeshttps://doi.org/10.1109/tpds.2021.3118603openalex-snapshot
A Highly-Available Move Operation for Replicated Trees
inferred← citeshttps://doi.org/10.1109/trustcom60117.2023.00187openalex-snapshot
Access Control based on CRDTs for Collaborative Distributed Applications
inferred← citeshttps://doi.org/10.1145/2767386.2767404openalex-snapshot
The Weakest Failure Detector for Eventual Consistency
inferred← citeshttps://doi.org/10.1145/2767386.2767419openalex-snapshot
Limitations of Highly-Available Eventually-Consistent Data Stores
inferred← citeshttps://doi.org/10.1145/2837614.2837622openalex-snapshot
Chapar: certified causally consistent distributed key-value stores
inferred← citeshttps://doi.org/10.1145/2911151.2911162openalex-snapshot
Towards property-based consistency verification
inferred← citeshttps://doi.org/10.1145/2914770.2837622openalex-snapshot
Chapar: certified causally consistent distributed key-value stores
inferred← citeshttps://doi.org/10.1145/2926965openalex-snapshot
Consistency in Non-Transactional Distributed Storage Systems
inferred← citeshttps://doi.org/10.1145/3009837.3009888openalex-snapshot
On verifying causal consistency
inferred← citeshttps://doi.org/10.1145/3009837.3009895openalex-snapshot
Serializability for eventual consistency: criterion, analysis, and applications
inferred← citeshttps://doi.org/10.1145/3079368.3079414openalex-snapshot
A Certain Tendency Of The Database Community
inferred← citeshttps://doi.org/10.1145/3093333.3009888openalex-snapshot
On verifying causal consistency
inferred← citeshttps://doi.org/10.1145/3093333.3009895openalex-snapshot
Serializability for eventual consistency: criterion, analysis, and applications
inferred← citeshttps://doi.org/10.1145/3133931openalex-snapshot
Geo-distribution of actor-based services
inferred← citeshttps://doi.org/10.1145/3133933openalex-snapshot
Verifying strong eventual consistency in distributed systems
inferred← citeshttps://doi.org/10.1145/3149485.3149493openalex-snapshot
Consistency-Aware Scheduling for Weakly Consistent Programs
inferred← citeshttps://doi.org/10.1145/3176653.3176719openalex-snapshot
Enhancing Mobile Backend as a service framework to support synchronization of large object
inferred← citeshttps://doi.org/10.1145/3190508.3190550openalex-snapshot
Scale-out ccNUMA
inferred← citeshttps://doi.org/10.1145/3192366.3192415openalex-snapshot
Static serializability analysis for causal consistency
inferred← citeshttps://doi.org/10.1145/3194261.3194268openalex-snapshot
Making consistency more consistent
inferred← citeshttps://doi.org/10.1145/3276522openalex-snapshot
Reactive caching for composed services: polling at the speed of push
inferred← citeshttps://doi.org/10.1145/3290373openalex-snapshot
Weak-consistency specification via visibility relaxation
inferred← citeshttps://doi.org/10.1145/3293611.3331583openalex-snapshot
On Mixing Eventual and Strong Consistency: Bayou Revisited
inferred← citeshttps://doi.org/10.1145/3296979.3192415openalex-snapshot
Static serializability analysis for causal consistency
inferred← citeshttps://doi.org/10.1145/3301419.3323967openalex-snapshot
Techniques for safe and highly available cloud applications
inferred← citeshttps://doi.org/10.1145/3301419.3323970openalex-snapshot
Invariant Safety for Distributed Applications
inferred← citeshttps://doi.org/10.1145/3314221.3314617openalex-snapshot
Replication-aware linearizability
inferred← citeshttps://doi.org/10.1145/3326938.3326942openalex-snapshot
Verification under causally consistent shared memory
inferred← citeshttps://doi.org/10.1145/3332466.3374516openalex-snapshot
Kite
inferred← citeshttps://doi.org/10.1145/3341710openalex-snapshot
Sequential programming for replicated data stores
inferred← citeshttps://doi.org/10.1145/3371094openalex-snapshot
Parameterized verification under TSO is PSPACE-complete
inferred← citeshttps://doi.org/10.1145/3385412.3385966openalex-snapshot
Decidable verification under a causally consistent shared memory
inferred← citeshttps://doi.org/10.1145/3387514.3406218openalex-snapshot
A Low Latency and Consistent Cellular Control Plane
inferred← citeshttps://doi.org/10.1145/3428662.3428790openalex-snapshot
Foundations of Peer-to-Peer Reputation
inferred← citeshttps://doi.org/10.1145/3434337openalex-snapshot
Deciding reachability under persistent x86-TSO
inferred← citeshttps://doi.org/10.1145/3447865.3457964openalex-snapshot
Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings
inferred← citeshttps://doi.org/10.1145/3453483.3454028openalex-snapshot
Repairing serializability bugs in distributed database programs via automated schema refactoring
inferred← citeshttps://doi.org/10.1145/3453483.3454067openalex-snapshot
Abstraction for conflict-free replicated data types
inferred← citeshttps://doi.org/10.1145/3457913.3457928openalex-snapshot
Checking Causal Consistency of MongoDB
inferred← citeshttps://doi.org/10.1145/3505273openalex-snapshot
What’s Decidable About Causally Consistent Shared Memory?
inferred← citeshttps://doi.org/10.1145/3555776.3577725openalex-snapshot
Anticipation of Method Execution in Mixed Consistency Systems
inferred← citeshttps://doi.org/10.1145/3591251openalex-snapshot
Optimal Reads-From Consistency Checking for C11-Style Memory Models
inferred← citeshttps://doi.org/10.1145/3632908openalex-snapshot
How Hard Is Weak-Memory Testing?
inferred← citeshttps://doi.org/10.1145/3656391openalex-snapshot
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
inferred← citeshttps://doi.org/10.1145/3695249openalex-snapshot
Approaches to Conflict-free Replicated Data Types
inferred← citeshttps://doi.org/10.1145/3772290.3772304openalex-snapshot
A Single-Order Mixed-Consistency Replication Scheme
inferred← citeshttps://doi.org/10.1145/3776683openalex-snapshot
Arbitration-Free Consistency Is Available (and Vice Versa)
inferred← citeshttps://doi.org/10.1145/3832138openalex-snapshot
SemantiX: A Compatibility Checker between Applications and Compositions of Distributed Systems
inferred← citeshttps://doi.org/10.1145/3839478openalex-snapshot
Composing CRDTs Convergent by Construction
inferred← citeshttps://doi.org/10.1177/15501477211058667openalex-snapshot
Modeling and proving dynamic behaviors of a routing protocol: A tutorial
inferred← citeshttps://doi.org/10.14778/3746405.3746411openalex-snapshot
The LAW Theorem: Local Reads and Linearizable Asynchronous Replication
inferred← citeshttps://doi.org/10.17863/cam.21775openalex-snapshot
Verifying Strong Eventual Consistency in Distributed Systems
inferred← citeshttps://doi.org/10.20944/preprints202308.1746.v1openalex-snapshot
Controls-kt, a Next Generation Control System
inferred← citeshttps://doi.org/10.20944/preprints202308.1746.v2openalex-snapshot
Controls-kt, a Next Generation Control System
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2021/5/6openalex-snapshot
Consistency types for replicated data in a higher-order distributed programming language
inferred← citeshttps://doi.org/10.23638/lmcs-17(1:12)2021openalex-snapshot
Robustness Against Transactional Causal Consistency
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25d15openalex-snapshot
Checking Robustness Between Weak Transactional Consistency Models
inferred← citeshttps://doi.org/10.32628/cseit24107451openalex-snapshot
Cognitive Platform Engineering: LLM-Augmented Infrastructure Automation for Autonomous Data-Intensive Systems
inferred← citeshttps://doi.org/10.32628/ijsrst245126285openalex-snapshot
Building Resilience with Oracle RAC and Data Guard Automation: A Unified Framework for Autonomous High Availability
inferred← citeshttps://doi.org/10.3390/computers15050275openalex-snapshot
The Missing Layer in Modern IT: Governance of Commitments, Not Just Compute and Data
inferred← citeshttps://doi.org/10.3991/ijim.v15i15.22517openalex-snapshot
Exploiting Cloud Computing and Web Services to Achieve Data Consistency, Availability, and Partition Tolerance in the Large-Scale Pervasive Systems
inferred← citeshttps://doi.org/10.4149/cai_2018_5_1037openalex-snapshot
Eventual Consistency: Origin and Support
inferred← citeshttps://doi.org/10.4204/eptcs.223.8openalex-snapshot
Worlds of Events: Deduction with Partial Knowledge about Causality
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2015.568openalex-snapshot
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
inferred← citeshttps://doi.org/10.48550/arxiv.1512.00168openalex-snapshot
Consistency in Non-Transactional Distributed Storage Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1901.10615openalex-snapshot
Data Consistency in Transactional Storage Systems: a Centralised Approach
inferred← citeshttps://doi.org/10.48550/arxiv.1907.00748openalex-snapshot
Creek: Low-latency, Mixed-Consistency Transactional Replication Scheme
inferred← citeshttps://doi.org/10.48550/arxiv.2106.00344openalex-snapshot
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)
inferred← citeshttps://doi.org/10.70675/4db38af9z8b92z4252z9573zb39b1746069dopenalex-snapshot
Réplication sécurisée dans les infrastructures pair-à-pair de collaboration
inferred← citeshttps://doi.org/10.70675/a1988a02z3d41z4738z942az643411b36ddfopenalex-snapshot
Designing safe and highly available distributed applications
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.