Christian Roldán

According to our database, Christian Roldán authored at least 7 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2022

Categorical specification and implementation of Replicated Data Types.

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

Theor. Comput. Sci., 2022

2020

Implementation Correctness for Replicated Data Types, Categorically.

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

A Categorical Account of Replicated Data Types.

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

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2018

On the semantics and implementation of replicated data types.

Fabio Gadducci, Hernán C. Melgratti, Christian Roldán

Sci. Comput. Program., 2018

2017

A Denotational View of Replicated Data Types.

Fabio Gadducci, Hernán C. Melgratti, Christian Roldán

Proceedings of the Coordination Models and Languages, 2017

2016

A Formal Analysis of the Global Sequence Protocol.

Hernán C. Melgratti, Christian Roldán

Proceedings of the Coordination Models and Languages, 2016

2011

On Correlation Sets and Correlation Exceptions in ActiveBPEL.

Hernán C. Melgratti, Christian Roldán

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011