On Correlation Sets and Correlation Exceptions in ActiveBPEL. - Hernán C. Melgratti; Christian Roldán (TGC, 2011)

A Formal Analysis of the Global Sequence Protocol. - Hernán C. Melgratti; Christian Roldán (COORDINATION, 2016)

A Denotational View of Replicated Data Types. - Fabio Gadducci; Hernán C. Melgratti; Christian Roldán (COORDINATION, 2017)

On the semantics and implementation of replicated data types. - Fabio Gadducci; Hernán C. Melgratti; Christian Roldán (Sci. Comput. Program., 2018)

A Categorical Account of Replicated Data Types. - Fabio Gadducci; Hernán C. Melgratti; Christian Roldán; Matteo Sammartino (FSTTCS, 2019)

Implementation Correctness for Replicated Data Types, Categorically. - Fabio Gadducci; Hernán C. Melgratti; Christian Roldán; Matteo Sammartino (ICTAC, 2020)

Categorical specification and implementation of Replicated Data Types. - Fabio Gadducci; Hernán C. Melgratti; Christian Roldán; Matteo Sammartino (Theor. Comput. Sci., 2022)

Vertical Atomic Broadcast and Passive Replication. - Manuel Bravo; Gregory V. Chockler; Alexey Gotsman; Alejandro Naser-Pastoriza; Christian Roldán (DISC, 2024)

Vertical Atomic Broadcast and Passive Replication (Extended Version). - Manuel Bravo; Gregory V. Chockler; Alexey Gotsman; Alejandro Naser-Pastoriza; Christian Roldán (CoRR, 2024)