Similar Items: Robustness Against Transactional Causal Consistency
- Robustness against Read Committed for Transaction Templates with Functional Constraints
- Causal Consistency for Reversible Multiparty Protocols
- A theory of transaction parallelism in blockchains
- Consistency and Completeness of Rewriting in the Calculus of Constructions
- On the consistency of stronger lower bounds for NEXP
- Consistency of circuit lower bounds with bounded theories