Causal Atomicity
Abstract elided by the publisher.
Related papers
- Coarser Equivalences for Causal Concurrency POPL 2024
- Parallel k-Core Decomposition with Batched Updates and Asynchronous Reads PPoPP 2024
- On the complexity of checking transactional consistency OOPSLA 2019
- Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs TOPLAS 1998
- Parametric and Sliced Causality CAV 2007
- Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels OOPSLA 2024
- Causal Termination of Multi-threaded Programs CAV 2014
- Causal Dataflow Analysis for Concurrent Programs TACAS 2007