Categorical specification and implementation of replicated data types
From MaRDI portal
Publication:2072069
DOI10.1016/j.tcs.2021.12.020MaRDI QIDQ2072069
Fabio Gadducci, Matteo Sammartino, Hernán Melgratti, Christian Roldán
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
operational semantics; specification; implementation correctness; functorial characterisation; replicated data types
68Qxx: Theory of computing