Modelling proof-of-work agreement protocol by coloured Petri nets

Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Tatiana R. Shmeleva, Dmitry A. Zaitsev. Modelling proof-of-work agreement protocol by coloured Petri nets. IJPEDS, 37(6):597-612, 2022. [doi]

Abstract

Abstract is missing.