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
Published
| 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 |
Publication series
| Name | Leibniz International Proceedings in Informatics, LIPIcs |
|---|---|
| Volume | 150 |
| ISSN (Print) | 1868-8969 |
Conference
| Conference | 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019 |
|---|---|
| Country | India |
| City | Bombay |
| Period | 11/12/19 → 13/12/19 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 36024125