On the public citation graph
Causal memory: definitions, implementation, and programming
0 signed · 424 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-56188-9_23openalex-snapshot
Efficient, strongly consistent implementations of shared memory
inferredcites →https://doi.org/10.1016/0020-0190(81)90106-xopenalex-snapshot
Myths about the mutual exclusion problem
inferredcites →https://doi.org/10.1109/2.84874openalex-snapshot
Logical time in distributed computing systems
inferredcites →https://doi.org/10.1109/71.242161openalex-snapshot
A unified formalization of four shared-memory models
inferredcites →https://doi.org/10.1109/icdcs.1989.37982openalex-snapshot
An analysis of distributed shared memory algorithms
inferredcites →https://doi.org/10.1109/icdcs.1990.89297openalex-snapshot
Slow memory: weakening consistency to enhance concurrency in distributed shared memories
inferredcites →https://doi.org/10.1109/icdcs.1991.148677openalex-snapshot
Implementing and programming causal distributed shared memory
inferredcites →https://doi.org/10.1109/icpp.1993.15openalex-snapshot
A Characterization of Scalable Shared Memories
inferredcites →https://doi.org/10.1109/ipps.1994.288309openalex-snapshot
A framework for programming using non-atomic variables
inferredcites →https://doi.org/10.1109/isca.1990.134502openalex-snapshot
Weak ordering-a new definition
inferredcites →https://doi.org/10.1109/isca.1990.134515openalex-snapshot
Adaptive software cache management for distributed shared memory architectures
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/113379.113406openalex-snapshot
Proving sequential consistency of high-performance shared memories (extended abstract)
inferredcites →https://doi.org/10.1145/128738.128742openalex-snapshot
Lightweight causal and atomic group multicast
inferredcites →https://doi.org/10.1145/129712.129778openalex-snapshot
A correctness condition for high-performance multiprocessors (extended abstract)
inferredcites →https://doi.org/10.1145/165231.165263openalex-snapshot
Shared memory consistency conditions for non-sequential execution
inferredcites →https://doi.org/10.1145/165231.165264openalex-snapshot
The power of processor consistency
inferredcites →https://doi.org/10.1145/176575.176576openalex-snapshot
Sequential consistency versus linearizability
inferredcites →https://doi.org/10.1145/181014.192323openalex-snapshot
Programming DEC-Alpha based multiprocessors the easy way (extended abstract)
inferredcites →https://doi.org/10.1145/285930.285997openalex-snapshot
Memory consistency and event ordering in scalable shared-memory multiprocessors
inferredcites →https://doi.org/10.1145/325096.325102openalex-snapshot
Memory consistency and event ordering in scalable shared-memory multiprocessors
inferredcites →https://doi.org/10.1145/325096.325124openalex-snapshot
Adaptive software cache management for distributed shared memory architectures
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/5001.5007openalex-snapshot
Axioms for memory access in asynchronous hardware systems
inferredcites →https://doi.org/10.1145/78969.78972openalex-snapshot
Linearizability: a correctness condition for concurrent objects
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.1801openalex-snapshot
Scalable group communication supporting configurable levels of consistency
inferred← citeshttps://doi.org/10.1002/cpe.1821openalex-snapshot
Application‐specific thread schedulers for distributed applications
inferred← citeshttps://doi.org/10.1002/cpe.4129openalex-snapshot
An experimental study on tuning the consistency of NoSQL systems
inferred← citeshttps://doi.org/10.1002/cpe.70484openalex-snapshot
Weak Memory Model Formalisms: Introduction and Survey
inferred← citeshttps://doi.org/10.1002/cpe.737openalex-snapshot
Scalable causal message logging for wide‐area environments
inferred← citeshttps://doi.org/10.1002/cpe.837openalex-snapshot
UMM: an operational memory model specification framework with integrated model checking capability
inferred← citeshttps://doi.org/10.1002/spe.2462openalex-snapshot
Adaptive trade‐off between consistency and performance in data replication
inferred← citeshttps://doi.org/10.1006/inco.1995.1091openalex-snapshot
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency
inferred← citeshttps://doi.org/10.1007/11516798_25openalex-snapshot
Analyzing Convergence in Consistency Models for Distributed Objects
inferred← citeshttps://doi.org/10.1007/11535294_6openalex-snapshot
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects
inferred← citeshttps://doi.org/10.1007/11561927_17openalex-snapshot
Plausible Clocks with Bounded Inaccuracy
inferred← citeshttps://doi.org/10.1007/11749776_2openalex-snapshot
Lightweight Causal Cluster Consistency
inferred← citeshttps://doi.org/10.1007/11752578_1openalex-snapshot
Multi-version Coherence Protocol for Replicated Shared Objects
inferred← citeshttps://doi.org/10.1007/11864219_18openalex-snapshot
On Consistency of Encrypted Files
inferred← citeshttps://doi.org/10.1007/3-540-37795-6_14openalex-snapshot
Ordering vs Timeliness: Two Facets of Consistency?
inferred← citeshttps://doi.org/10.1007/3-540-37795-6_6openalex-snapshot
Comparing the Atomic Commitment and Consensus Problems
inferred← citeshttps://doi.org/10.1007/3-540-40026-5_25openalex-snapshot
Consistency Conditions for a CORBA Caching Service
inferred← citeshttps://doi.org/10.1007/3-540-44467-x_32openalex-snapshot
Memory Consistency and Process Coordination for SPARC Multiprocessors
inferred← citeshttps://doi.org/10.1007/3-540-44681-8_120openalex-snapshot
Scalable Causal Message Logging for Wide-Area Environments
inferred← citeshttps://doi.org/10.1007/3-540-45559-0_1openalex-snapshot
Implementing a Caching Service for Distributed CORBA Objects
inferred← citeshttps://doi.org/10.1007/3-540-45559-0_3openalex-snapshot
Distributed Object Implementations for Interactive Applications
inferred← citeshttps://doi.org/10.1007/3-540-48086-2_22openalex-snapshot
Consistency Requirements of Peterson’s Algorithm for Mutual Exclusion of n Processes in a Distributed Shared Memory System
inferred← citeshttps://doi.org/10.1007/3-540-60692-0_48openalex-snapshot
From causal consistency to sequential consistency in shared memory systems
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_86openalex-snapshot
The impact of hardware models on shared memory consistency conditions
inferred← citeshttps://doi.org/10.1007/3-540-61626-8_73openalex-snapshot
Distributed Shared Memory based on Group Large Causality
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_6openalex-snapshot
Can We Monitor All Multithreaded Programs?
inferred← citeshttps://doi.org/10.1007/978-3-030-25543-5_16openalex-snapshot
Gradual Consistency Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-31277-0_3openalex-snapshot
Checking Causal Consistency of Distributed Databases
inferred← citeshttps://doi.org/10.1007/978-3-030-31585-6_9openalex-snapshot
Blech, Imperative Synchronous Programming!
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-50417-5_36openalex-snapshot
Microservice Disaster Crash Recovery: A Weak Global Referential Integrity Management
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_16openalex-snapshot
Hampa: Solver-Aided Recency-Aware Replication
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-86359-3_27openalex-snapshot
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative
inferred← citeshttps://doi.org/10.1007/978-3-030-91081-5_36openalex-snapshot
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol
inferred← citeshttps://doi.org/10.1007/978-3-031-01807-7_4openalex-snapshot
Formalization of Blockchain Properties
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-30826-0openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-30826-0_10openalex-snapshot
Opportunistic Monitoring of Multithreaded Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-32157-3_4openalex-snapshot
Sound Concurrent Traces for Online Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-031-37706-8_11openalex-snapshot
Rely-Guarantee Reasoning for Causally Consistent Shared Memory
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_23openalex-snapshot
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
inferred← citeshttps://doi.org/10.1007/978-3-031-56222-8_1openalex-snapshot
Fairness and Liveness Under Weak Consistency
inferred← citeshttps://doi.org/10.1007/978-3-031-57256-2_12openalex-snapshot
Decidable Verification under Localized Release-Acquire Concurrency
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-031-90660-2_3openalex-snapshot
Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
inferred← citeshttps://doi.org/10.1007/978-3-032-11176-0_8openalex-snapshot
Verification of the Release-Acquire Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-14720-8_1openalex-snapshot
Consistency for Transactional Memory Computing
inferred← citeshttps://doi.org/10.1007/978-3-319-26850-7_17openalex-snapshot
Fisheye Consistency: Keeping Data in Synch in a Georeplicated World
inferred← citeshttps://doi.org/10.1007/978-3-319-63962-8_160-1openalex-snapshot
TARDiS: A Branch-and-Merge Approach to Weak Consistency
inferred← citeshttps://doi.org/10.1007/978-3-319-63962-8_203-1openalex-snapshot
Database Consistency Models
inferred← citeshttps://doi.org/10.1007/978-3-319-63962-8_203-2openalex-snapshot
Database Consistency Models
inferred← citeshttps://doi.org/10.1007/978-3-319-69084-1_14openalex-snapshot
Generalized Paxos Made Byzantine (and Less Complex)
inferred← citeshttps://doi.org/10.1007/978-3-319-77525-8_160openalex-snapshot
TARDiS: A Branch-and-Merge Approach to Weak Consistency
inferred← citeshttps://doi.org/10.1007/978-3-319-77525-8_203openalex-snapshot
Database Consistency Models
inferred← citeshttps://doi.org/10.1007/978-3-319-96145-3_26openalex-snapshot
Monitoring Weak Consistency
inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_7openalex-snapshot
Making Linearizability Compositional for Partially Ordered Executions
inferred← citeshttps://doi.org/10.1007/978-3-319-99133-7_2openalex-snapshot
ThespisDIIP: Distributed Integrity Invariant Preservation
inferred← citeshttps://doi.org/10.1007/978-3-540-24669-5_1openalex-snapshot
Session Guarantees to Achieve PRAM Consistency of Replicated Shared Objects
inferred← citeshttps://doi.org/10.1007/978-3-540-27860-3_22openalex-snapshot
Decoupled Interconnection of Distributed Memory Models
inferred← citeshttps://doi.org/10.1007/978-3-540-39724-3_9openalex-snapshot
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
inferred← citeshttps://doi.org/10.1007/978-3-540-39989-6_7openalex-snapshot
On the Locality of Consistency Conditions
inferred← citeshttps://doi.org/10.1007/978-3-540-39989-6_8openalex-snapshot
Multi-writer Consistency Conditions for Shared Memory Objects
inferred← citeshttps://doi.org/10.1007/978-3-642-03359-9_27openalex-snapshot
A Better x86 Memory Model: x86-TSO
inferred← citeshttps://doi.org/10.1007/978-3-642-11476-2_21openalex-snapshot
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition
inferred← citeshttps://doi.org/10.1007/978-3-642-13067-0_52openalex-snapshot
A Mechanism for Solving the Sequential Inconsistent Event in a Peer-to-Peer Network Virtual Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-14107-2_23openalex-snapshot
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
inferred← citeshttps://doi.org/10.1007/978-3-642-14390-8_23openalex-snapshot
A Formal Approach to Replica Consistency in Directory Service
inferred← citeshttps://doi.org/10.1007/978-3-642-15277-1_50openalex-snapshot
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-17653-1_29openalex-snapshot
Quasi-Linearizability: Relaxed Consistency for Improved Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-642-38123-2_16openalex-snapshot
Atomic Consistency (Linearizability)
inferred← citeshttps://doi.org/10.1007/978-3-642-54848-2_2openalex-snapshot
Context-Bounded Analysis of TSO Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-45174-8_25openalex-snapshot
Making Sense of Relativistic Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-66863-4_6openalex-snapshot
D-Thespis: A Distributed Actor-Based Causally Consistent DBMS
inferred← citeshttps://doi.org/10.1007/978-81-322-2674-1_27openalex-snapshot
Scalable Casual Data Consistency for Wide Area Storage with Cloud
inferred← citeshttps://doi.org/10.1007/978-981-96-9392-4_5openalex-snapshot
Consistency of Distributed Data Services
inferred← citeshttps://doi.org/10.1007/bf02997620openalex-snapshot
A suite of definitions for consistency criteria in distributed shared memories
inferred← citeshttps://doi.org/10.1007/bfb0013477openalex-snapshot
Fault-tolerance by replication in distributed systems
inferred← citeshttps://doi.org/10.1007/bfb0030685openalex-snapshot
Fault tolerance bounds for memory consistency
inferred← citeshttps://doi.org/10.1007/bfb0056496openalex-snapshot
Lifetime based consistency protocols for distributed objects
inferred← citeshttps://doi.org/10.1007/s002360050127openalex-snapshot
Consistent records in asynchronous computations
inferred← citeshttps://doi.org/10.1007/s00446-003-0091-yopenalex-snapshot
Hundreds of impossibility results for distributed computing
inferred← citeshttps://doi.org/10.1007/s00446-005-0128-5openalex-snapshot
Optimal propagation-based protocols implementing causal memories
inferred← citeshttps://doi.org/10.1007/s004460050014openalex-snapshot
Implementing hybrid consistency with high-level synchronization operations
inferred← citeshttps://doi.org/10.1007/s00607-021-00911-3openalex-snapshot
Checking causal consistency of distributed databases
inferred← citeshttps://doi.org/10.1007/s007660050019openalex-snapshot
Formal Analysis of Memory Requirements
inferred← citeshttps://doi.org/10.1007/s00778-013-0330-1openalex-snapshot
Quantifying eventual consistency with PBS
inferred← citeshttps://doi.org/10.1007/s00778-020-00628-3openalex-snapshot
Interactive checks for coordination avoidance
inferred← citeshttps://doi.org/10.1007/s11227-022-04997-0openalex-snapshot
CCECGP: causal consistency model of edge–cloud collaborative based on grouping protocol
inferred← citeshttps://doi.org/10.1007/s11390-015-1511-8openalex-snapshot
Survey of Large-Scale Data Management Systems for Big Data Applications
inferred← citeshttps://doi.org/10.1007/s11390-021-1662-8openalex-snapshot
Checking Causal Consistency of MongoDB
inferred← citeshttps://doi.org/10.1007/s11432-016-5593-xopenalex-snapshot
CBBR: enabling distributed shared memory-based coordination among mobile robots
inferred← citeshttps://doi.org/10.1007/s11704-016-6041-1openalex-snapshot
An efficient and highly available framework of data recency enhancement for eventually consistent data stores
inferred← citeshttps://doi.org/10.1016/0020-0190(96)00007-5openalex-snapshot
Limitations of fast consistency conditions for distributed shared memories
inferred← citeshttps://doi.org/10.1016/j.future.2017.04.016openalex-snapshot
Achieving convergent causal consistency and high availability for cloud storage
inferred← citeshttps://doi.org/10.1016/j.future.2017.04.044openalex-snapshot
Causal consistency algorithms for partially replicated and fully replicated systems
inferred← citeshttps://doi.org/10.1016/j.future.2017.07.004openalex-snapshot
Testing of transactional services in NoSQL key-value databases
inferred← citeshttps://doi.org/10.1016/j.ipl.2004.01.007openalex-snapshot
Relationships between memory models
inferred← citeshttps://doi.org/10.1016/j.is.2026.102719openalex-snapshot
A Scalable Transaction Management Framework for Consistent Document-Oriented NoSQL Databases
inferred← citeshttps://doi.org/10.1016/j.jcss.2015.11.002openalex-snapshot
Implementing set objects in dynamic distributed systems
inferred← citeshttps://doi.org/10.1016/j.jpdc.2004.03.007openalex-snapshot
On the interconnection of causal memory systems
inferred← citeshttps://doi.org/10.1016/j.jpdc.2007.07.002openalex-snapshot
Implementing sequentially consistent programs on processor consistent platforms
inferred← citeshttps://doi.org/10.1016/j.jpdc.2008.11.008openalex-snapshot
Interconnection of distributed memory models
inferred← citeshttps://doi.org/10.1016/j.jss.2007.03.012openalex-snapshot
A parametrized algorithm that implements sequential, causal, and cache memory consistencies
inferred← citeshttps://doi.org/10.1016/j.jss.2024.111976openalex-snapshot
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
inferred← citeshttps://doi.org/10.1016/j.sysarc.2003.11.003openalex-snapshot
Implementing a replicated service with group communication
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.04.037openalex-snapshot
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.06.044openalex-snapshot
Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114794openalex-snapshot
Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs
inferred← citeshttps://doi.org/10.1016/s0020-0190(02)00498-2openalex-snapshot
On the composability of consistency conditions
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00213-9openalex-snapshot
A page-coherent, causally consistent protocol for distributed shared memory
inferred← citeshttps://doi.org/10.1016/s0167-8191(02)00148-5openalex-snapshot
View consistencies and exact implementations
inferred← citeshttps://doi.org/10.1016/s0304-3975(98)90244-4openalex-snapshot
Linearizable read/write objects
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)42684-xopenalex-snapshot
Implementing Train Applications Based on the Distributed Shared Memory Paradigm
inferred← citeshttps://doi.org/10.1016/s1477-8424(03)00014-9openalex-snapshot
Data-race and concurrent-write freedom are undecidable
inferred← citeshttps://doi.org/10.1088/0967-1846/6/2/301openalex-snapshot
An adaptive architecture for causally consistent distributed services
inferred← citeshttps://doi.org/10.1093/comjnl/bxp090openalex-snapshot
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory
inferred← citeshttps://doi.org/10.1109/12.737681openalex-snapshot
A positive acknowledgment protocol for causal broadcasting
inferred← citeshttps://doi.org/10.1109/32.637147openalex-snapshot
Clock trees: logical clocks for programs with nested parallelism
inferred← citeshttps://doi.org/10.1109/71.798314openalex-snapshot
Scalable consistency protocols for distributed services
inferred← citeshttps://doi.org/10.1109/aina.2003.1192915openalex-snapshot
Token-based sequential consistency in asynchronous distributed systems
inferred← citeshttps://doi.org/10.1109/aina.2005.64openalex-snapshot
A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations
inferred← citeshttps://doi.org/10.1109/aina.2016.147openalex-snapshot
A New Model for Testing CRUD Operations in a NoSQL Database
inferred← citeshttps://doi.org/10.1109/apdc.1997.574051openalex-snapshot
Consistent state restoration in shared memory systems
inferred← citeshttps://doi.org/10.1109/ats52891.2021.00021openalex-snapshot
CausalTester: Measuring the Consistency of Replicated Services via Causality Semantics
inferred← citeshttps://doi.org/10.1109/bigdata.2014.7004206openalex-snapshot
BASIC: An alternative to BASE for large-scale data management system
inferred← citeshttps://doi.org/10.1109/ccgrid.2005.1558661openalex-snapshot
Version vector protocols implementing session guarantees
inferred← citeshttps://doi.org/10.1109/ccgrid51090.2021.00052openalex-snapshot
CaDRoP: Cost Optimized Convergent Causal Consistency in Social Network Systems
inferred← citeshttps://doi.org/10.1109/cic.2015.29openalex-snapshot
WACCO and LOKO: Strong Consistency at Global Scale
inferred← citeshttps://doi.org/10.1109/cloud.2018.00039openalex-snapshot
Tracing Function Dependencies across Clouds
inferred← citeshttps://doi.org/10.1109/compsac.2016.78openalex-snapshot
Causal Consistency for Distributed Data Stores and Applications as They are
inferred← citeshttps://doi.org/10.1109/csac.2003.1254344openalex-snapshot
Differential data protection for dynamic distributed applications
inferred← citeshttps://doi.org/10.1109/csse.2008.592openalex-snapshot
Lowering Conflicts of High Contention Software Transactional Memory
inferred← citeshttps://doi.org/10.1109/ctceec.2017.8455064openalex-snapshot
Consistency and Reliability of Services in Cloud Environment
inferred← citeshttps://doi.org/10.1109/dexa.2017.25openalex-snapshot
Thespis: Actor-Based Causal Consistency
inferred← citeshttps://doi.org/10.1109/dsn-s58398.2023.00033openalex-snapshot
Attacks on tomorrow’s virtual world
inferred← citeshttps://doi.org/10.1109/dsn.2001.941410openalex-snapshot
A secure and highly available distributed store for meeting diverse data storage needs
inferred← citeshttps://doi.org/10.1109/dsn.2018.00014openalex-snapshot
Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
inferred← citeshttps://doi.org/10.1109/dsn48063.2020.00062openalex-snapshot
Omega: a Secure Event Ordering Service for the Edge
inferred← citeshttps://doi.org/10.1109/dsn48987.2021.00034openalex-snapshot
K2: Reading Quickly from Storage Across Many Datacenters
inferred← citeshttps://doi.org/10.1109/empdp.1998.647193openalex-snapshot
Exploiting write semantics in implementing partially replicated causal objects
inferred← citeshttps://doi.org/10.1109/empdp.2002.994329openalex-snapshot
A parametrized algorithm that implements sequential, causal, and cache memory consistency
inferred← citeshttps://doi.org/10.1109/empdp.2004.1271440openalex-snapshot
From session causality to causal consistency
inferred← citeshttps://doi.org/10.1109/eurmic.1997.617301openalex-snapshot
From serializable to causal transactions for collaborative applications
inferred← citeshttps://doi.org/10.1109/fdl.2018.8524036openalex-snapshot
Blech, Imperative Synchronous Programming!
inferred← citeshttps://doi.org/10.1109/ftdcs.1997.644725openalex-snapshot
Multi-criterion coherence protocol for distributed shared memory
inferred← citeshttps://doi.org/10.1109/hicss.1997.667337openalex-snapshot
Static and dynamic adaptation of transactional consistency
inferred← citeshttps://doi.org/10.1109/hicss.1999.773039openalex-snapshot
Evaluation of two optimized protocols for sequential consistency
inferred← citeshttps://doi.org/10.1109/hips.1998.665139openalex-snapshot
Constructive and adaptable distributed shared memory
inferred← citeshttps://doi.org/10.1109/hpca.2014.6835927openalex-snapshot
TSO-CC: Consistency directed cache coherence for TSO
inferred← citeshttps://doi.org/10.1109/hpdc.1995.518703openalex-snapshot
Indigo: user-level support for building distributed shared abstractions
inferred← citeshttps://doi.org/10.1109/ic2e.2013.32openalex-snapshot
A Middleware Guaranteeing Client-Centric Consistency on Top of Eventually Consistent Datastores
inferred← citeshttps://doi.org/10.1109/ic2e.2018.00027openalex-snapshot
Tracking Causal Order in AWS Lambda Applications
inferred← citeshttps://doi.org/10.1109/icccn49398.2020.9209720openalex-snapshot
Combining High Throughput and Low Migration Latency for Consistent Data Storage on the Edge
inferred← citeshttps://doi.org/10.1109/icccn54977.2022.9868846openalex-snapshot
Engage: Session Guarantees for the Edge
inferred← citeshttps://doi.org/10.1109/iccd.2001.955081openalex-snapshot
Towards a formal model of shared memory consistency for Intel Itanium/sup TM/
inferred← citeshttps://doi.org/10.1109/icdcs.1996.507971openalex-snapshot
A scalable technique for implementing multiple consistency levels for distributed objects
inferred← citeshttps://doi.org/10.1109/icdcs.1997.598052openalex-snapshot
Exploiting temporal and spatial constraints on distributed shared objects
inferred← citeshttps://doi.org/10.1109/icdcs.1998.679490openalex-snapshot
An adaptive protocol for implementing causally consistent distributed services
inferred← citeshttps://doi.org/10.1109/icdcs.1998.679835openalex-snapshot
Consistency conditions for multi-object distributed operations
inferred← citeshttps://doi.org/10.1109/icdcs.2003.1203461openalex-snapshot
Responsive security for stored data
inferred← citeshttps://doi.org/10.1109/icdcs.2004.1281621openalex-snapshot
A distributed implementation of sequential consistency with multi-object operations
inferred← citeshttps://doi.org/10.1109/icdcs.2005.49openalex-snapshot
Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users
inferred← citeshttps://doi.org/10.1109/icdcs.2016.98openalex-snapshot
Cure: Strong Semantics Meets High Availability and Low Latency
inferred← citeshttps://doi.org/10.1109/icdcs.2017.192openalex-snapshot
Optimistic Causal Consistency for Geo-Replicated Key-Value Stores
inferred← citeshttps://doi.org/10.1109/icdcs.2019.00038openalex-snapshot
PaRiS: Causally Consistent Transactions with Non-blocking Reads and Partial Replication
inferred← citeshttps://doi.org/10.1109/icdsc.2001.918991openalex-snapshot
Shared state consistency for time-sensitive distributed applications
inferred← citeshttps://doi.org/10.1109/icpads.2010.67openalex-snapshot
Multi-consistency Data Replication
inferred← citeshttps://doi.org/10.1109/icpads.2016.0018openalex-snapshot
Enabling Mobile Device Coordination over Distributed Shared Memory
inferred← citeshttps://doi.org/10.1109/icpads.2016.0054openalex-snapshot
PROAR: A Weak Consistency Model for Ceph
inferred← citeshttps://doi.org/10.1109/icpads.2016.0063openalex-snapshot
CC-Paxos: Integrating Consistency and Reliability in Wide-Area Storage Systems
inferred← citeshttps://doi.org/10.1109/icpads56603.2022.00030openalex-snapshot
Tunable Causal Consistency: Specification and Implementation
inferred← citeshttps://doi.org/10.1109/icpp.2006.15openalex-snapshot
About the Efficiency of Partial Replication to Implement Distributed Shared Memory
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1302944openalex-snapshot
Nemos: a framework for axiomatic and executable specifications of memory consistency models
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1302998openalex-snapshot
An optimal protocol for causally consistent distributed shared memory systems
inferred← citeshttps://doi.org/10.1109/ipdps.2007.370280openalex-snapshot
Online Aggregation over Trees
inferred← citeshttps://doi.org/10.1109/ipdps.2015.39openalex-snapshot
Update Consistency for Wait-Free Concurrent Objects
inferred← citeshttps://doi.org/10.1109/ipdpsw.2015.68openalex-snapshot
Causal Consistency for Geo-Replicated Cloud Storage under Partial Replication
inferred← citeshttps://doi.org/10.1109/ipdpsw.2016.148openalex-snapshot
Performance of Causal Consistency Algorithms for Partially Replicated Systems
inferred← citeshttps://doi.org/10.1109/ipdpsw.2017.92openalex-snapshot
The consistency analysis of secondary index on distributed ordered tables
inferred← citeshttps://doi.org/10.1109/ipps.1994.288309openalex-snapshot
A framework for programming using non-atomic variables
inferred← citeshttps://doi.org/10.1109/ispan.1997.645055openalex-snapshot
Critical sections and producer/consumer queues in weak memory systems
inferred← citeshttps://doi.org/10.1109/ispan.2005.51openalex-snapshot
Impact of Instruction Re-Ordering on the Correctness of Shared-Memory Programs
inferred← citeshttps://doi.org/10.1109/jcc72984.2026.00042openalex-snapshot
Global-Synchronization-Free Distributed Simulation Via Bilateral Dependency Resolution in Cloud-Edge Environments
inferred← citeshttps://doi.org/10.1109/nca.2004.1347771openalex-snapshot
A methodological construction of an efficient sequential consistency protocol
inferred← citeshttps://doi.org/10.1109/nca.2019.8935059openalex-snapshot
Distributed Causal Memory in the Presence of Byzantine Servers
inferred← citeshttps://doi.org/10.1109/nca51143.2020.9306734openalex-snapshot
Causality Tracking Trade-offs for Distributed Storage
inferred← citeshttps://doi.org/10.1109/nca57778.2022.10013642openalex-snapshot
Byzantine Fault-Tolerant Causal Broadcast on Incomplete Graphs
inferred← citeshttps://doi.org/10.1109/padsw.2014.7097870openalex-snapshot
HARP: Towards enhancing data recency for eventually consistent data stores
inferred← citeshttps://doi.org/10.1109/prdc47002.2019.00035openalex-snapshot
Resilient Distributed Causal Memory in Client-Server Model
inferred← citeshttps://doi.org/10.1109/prdc63035.2024.00022openalex-snapshot
PrompTCC: Transactional Causally Consistent Reads Can Be Fast and Fresh
inferred← citeshttps://doi.org/10.1109/srds.2006.47openalex-snapshot
Weakly-Persistent Causal Objects in Dynamic Distributed Systems
showing the first 200 of 395 · page through all 395
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.