Categorical specification and implementation of replicated data types
From MaRDI portal
Publication:2072069
DOI10.1016/j.tcs.2021.12.020MaRDI QIDQ2072069
Fabio Gadducci, Christian Roldán, Hernán Melgratti, Matteo Sammartino
Publication date: 1 February 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2021.12.020
operational semantics; specification; implementation correctness; functorial characterisation; replicated data types
68Qxx: Theory of computing
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the expressiveness and decidability of higher-order process calculi
- Sheaves in geometry and logic: a first introduction to topos theory
- Implementation correctness for replicated data types, categorically
- Relational presheaves, change of base and weak simulation
- Composite Replicated Data Types
- A General Theory of Barbs, Contexts, and Labels
- Barbed bisimulation
- A Framework for Transactional Consistency Models with Atomic Visibility
- Replicated data types
- Verifying eventual consistency of optimistic replication systems