Author of the publication

Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.

, , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Consensus-Free Ledgers When Operations of Distinct Processes are Commutative., , , and . PaCT, volume 12942 of Lecture Notes in Computer Science, page 359-370. Springer, (2021)Parameterized Analysis of Reconfigurable Broadcast Networks., , and . FoSSaCS, volume 13242 of Lecture Notes in Computer Science, page 61-80. Springer, (2022)Process-Commutative Distributed Objects: From Cryptocurrencies to Byzantine-Fault-Tolerant CRDTs., , , and . CoRR, (2023)Safety Verification of Wait-Only Non-Blocking Broadcast Protocols., , and . Petri Nets, volume 14628 of Lecture Notes in Computer Science, page 291-311. Springer, (2024)Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability., , and . FoSSaCS (2), volume 14575 of Lecture Notes in Computer Science, page 250-270. Springer, (2024)Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous., , and . CONCUR, volume 279 of LIPIcs, page 7:1-7:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Phase-Bounded Broadcast Networks over Topologies of Communication., , and . CONCUR, volume 311 of LIPIcs, page 26:1-26:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs., , , and . Theor. Comput. Sci., (2024)