Composition in state-based replicated data types

MaRDI QIDQ4967240zbMATH OpenFDO

Authors Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira

Publication date 3 July 2019

Full work available at URL http://bulletin.eatcs.org/index.php/beatcs/article/view/507/496

Mathematics Subject Classification ID

Lattices (06B99) Distributed systems (68M14) General topics in the theory of data (68P01)

Recommendations

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

Cited in

(7)

• Categorical specification and implementation of replicated data types
• Stateful protocol composition
• Composite replicated data types
• scientific article; zbMATH DE number 1950692 (Why is no real title available?)
• Convergent and commutative replicated data types
• Proving the safety of highly-available distributed objects
• Bounded implementations of replicated data types

This page was built for publication: Composition in state-based replicated data types

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