A Categorical Account of Replicated Data Types. / Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo.
39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. ed. / Arkadev Chattopadhyay; Paul Gastin. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. p. 1-15 42 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 150).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 |
Editors | Arkadev Chattopadhyay, Paul Gastin |
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
Pages | 1-15 |
Number of pages | 15 |
ISBN (Electronic) | 9783959771313 |
DOIs | |
Publication status | Published - Dec 2019 |
Event | 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 - Bombay, India Duration: 11 Dec 2019 → 13 Dec 2019 |
Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|
Volume | 150 |
ISSN (Print) | 1868-8969 |
Conference | 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 |
---|---|
Country/Territory | India |
City | Bombay |
Period | 11/12/19 → 13/12/19 |
ID: 36024125