Categorical specification and implementation of replicated data types

DOI10.1016/J.TCS.2021.12.020MaRDI QIDQ2072069zbMATH OpenOpenAlexFDO

Authors Fabio Gadducci, Hernan Melgratti, Christian Roldán, 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

functorial characterisationimplementation correctnessoperational semanticsreplicated data typesspecification

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Bounded implementations of replicated data types
• Replicated data types, specification, verification, optimality
• Effective verification of replicated data types using later appearance records (LAR)
• Convergent and commutative replicated data types
• Composite replicated data types

Cites work

• A framework for transactional consistency models with atomic visibility
• A General Theory of Barbs, Contexts, and Labels
• Barbed bisimulation
• Composite replicated data types
• Composition in state-based replicated data types
• Consistency models with global operation sequencing and their composition
• Convergent and commutative replicated data types
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 7650339 (Why is no real title available?)
• Implementation correctness for replicated data types, categorically
• Modal logic
• On the expressiveness and decidability of higher-order process calculi
• Relational presheaves, change of base and weak simulation
• Replicated data types, specification, verification, optimality
• Sheaves in geometry and logic: a first introduction to topos theory
• Verifying eventual consistency of optimistic replication systems

Cited in

(2)

• scientific article; zbMATH DE number 4111987 (Why is no real title available?)
• Replicated data types that unify eventual consistency and observable atomic consistency

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2072069)