Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Christian Cachin, Simon Schubert, and Marko Vukolic. Non-Determinism in Byzantine Fault-Tolerant Replication. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 24:1-24:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{cachin_et_al:LIPIcs.OPODIS.2016.24, author = {Cachin, Christian and Schubert, Simon and Vukolic, Marko}, title = {{Non-Determinism in Byzantine Fault-Tolerant Replication}}, booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)}, pages = {24:1--24:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-031-6}, ISSN = {1868-8969}, year = {2017}, volume = {70}, editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.24}, URN = {urn:nbn:de:0030-drops-70935}, doi = {10.4230/LIPIcs.OPODIS.2016.24}, annote = {Keywords: Blockchain, atomic broadcast, consensus, distributed cryptography, verifiable random functions} }
Published in: LIPIcs, Volume 26, 19th International Conference on Types for Proofs and Programs (TYPES 2013)
Marc Bezem, Thierry Coquand, and Simon Huber. A Model of Type Theory in Cubical Sets. In 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 26, pp. 107-128, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{bezem_et_al:LIPIcs.TYPES.2013.107, author = {Bezem, Marc and Coquand, Thierry and Huber, Simon}, title = {{A Model of Type Theory in Cubical Sets}}, booktitle = {19th International Conference on Types for Proofs and Programs (TYPES 2013)}, pages = {107--128}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-72-9}, ISSN = {1868-8969}, year = {2014}, volume = {26}, editor = {Matthes, Ralph and Schubert, Aleksy}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.107}, URN = {urn:nbn:de:0030-drops-46284}, doi = {10.4230/LIPIcs.TYPES.2013.107}, annote = {Keywords: Models of dependent type theory, cubical sets, Univalent Foundations} }
Feedback for Dagstuhl Publishing