A denotational view of replicated data types F Gadducci, H Melgratti, C Roldán International Conference on Coordination Languages and Models, 138-156, 2017 | 8 | 2017 |
On the semantics and implementation of replicated data types F Gadducci, H Melgratti, C Roldán Science of Computer Programming 167, 91-113, 2018 | 5 | 2018 |
A formal analysis of the global sequence protocol H Melgratti, C Roldán Coordination Models and Languages: 18th IFIP WG 6.1 International Conference …, 2016 | 5 | 2016 |
A categorical account of replicated data types F Gadducci, H Melgratti, C Roldán, M Sammartino LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 150, 42: 1-42: 15, 2019 | 3 | 2019 |
On correlation sets and correlation exceptions in ActiveBPEL H Melgratti, C Roldán International Symposium on Trustworthy Global Computing, 212-226, 2011 | 3 | 2011 |
Implementation correctness for replicated data types, categorically F Gadducci, H Melgratti, C Roldán, M Sammartino International Colloquium on Theoretical Aspects of Computing, 283-303, 2020 | 1 | 2020 |
Categorical specification and implementation of Replicated Data Types F Gadducci, H Melgratti, C Roldán, M Sammartino Theoretical Computer Science 903, 84-112, 2022 | | 2022 |
Especificacion y semantica de tipos de datos replicados C Roldán Universidad de Buenos Aires, 2020 | | 2020 |
Correlación y excepciones en lenguajes de orquestación de servicios C Roldán | | 2011 |