Up a level |
Azouvi, Sarah; Cachin, Christian; Le, Duc V.; Vukolić, Marko; Zanolini, Luca (2023). Modeling Resources in Permissionless Longest-Chain Total-Order Broadcast. Leibniz International Proceedings in Informatics, 253(19) Schloss Dagstuhl - Leibniz-Zentrum für Informatik