Christian Roldán

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 6

Top Topics

Database Server

Payment Protocol

Top Venues

Sci. Comput. Program.

Publications

Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. 903 (2022)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Implementation Correctness for Replicated Data Types, Categorically. ICTAC (2020)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
A Categorical Account of Replicated Data Types. FSTTCS (2019)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
On the semantics and implementation of replicated data types. Sci. Comput. Program. 167 (2018)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
A Denotational View of Replicated Data Types. COORDINATION (2017)
Hernán C. Melgratti, Christian Roldán
A Formal Analysis of the Global Sequence Protocol. COORDINATION (2016)
Hernán C. Melgratti, Christian Roldán
On Correlation Sets and Correlation Exceptions in ActiveBPEL. TGC (2011)