Composite replicated data types

DOI10.1007/978-3-662-46669-8_24zbMATH Open1335.68054OpenAlexW2294814664MaRDI QIDQ2802456FDOQ2802456

Authors: Alexey Gotsman, Hongseok Yang 

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_24

Recommendations

• Replicated data types, specification, verification, optimality
• Convergent and commutative replicated data types
• Composition in state-based replicated data types
• Bounded implementations of replicated data types
• Effective verification of replicated data types using later appearance records (LAR)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited In (9)

• Algebraic laws for weak consistency
• Replicated data types that unify eventual consistency and observable atomic consistency
• From sequential specifications to eventual consistency
• Composition in state-based replicated data types
• Effective verification of replicated data types using later appearance records (LAR)
• Convergent and commutative replicated data types
• Replicated data types, specification, verification, optimality
• Bounded implementations of replicated data types
• Categorical specification and implementation of replicated data types

This page was built for publication: Composite replicated data types

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