Implementation correctness for replicated data types, categorically

DOI10.1007/978-3-030-64276-1_15OpenAlexW3110258303MaRDI QIDQ2037954

Fabio Gadducci, Christian Roldán, Matteo Sammartino, Hernán Melgratti

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-64276-1_15

zbMATH Keywords

operational semanticsspecificationimplementation correctnessfunctorial characterisationreplicated data types

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Categorical specification and implementation of replicated data types

This page was built for publication: Implementation correctness for replicated data types, categorically