Roldán, Christian Hugo

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-2 de 2

Artículo A categorical account of replicated data types

Gadducci, Fabio; Melgratti, Hernan Claudio ; Roldán, Christian Hugo; Sammartino, Matteo (Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2019-12)
Artículo A formal analysis of the global sequence protocol

Melgratti, Hernan Claudio ; Roldán, Christian Hugo (Springer, 2016-05)

Mostrando ítems 1-2 de 2