Composite Replicated Data Types

DOI10.1007/978-3-662-46669-8_24zbMath1335.68054OpenAlexW2294814664MaRDI QIDQ2802456

Hongseok Yang, Alexey Gotsman

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

Mathematics Subject Classification ID

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

Related Items (3)

From Sequential Specifications to Eventual Consistency ⋮ Unnamed Item ⋮ Categorical specification and implementation of replicated data types

This page was built for publication: Composite Replicated Data Types