Categorical specification and implementation of replicated data types

DOI10.1016/j.tcs.2021.12.020OpenAlexW4200072206MaRDI 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

zbMATH Keywords

operational semanticsspecificationimplementation correctnessfunctorial characterisationreplicated data types

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

This page was built for publication: Categorical specification and implementation of replicated data types