Analysis of Bitcoin Fork by Colored Petri Nets.

Zeyu Zhou, Ding Liu, Tatiana R. Shmeleva, Dmitry A. Zaitsev

Browse the full SMC paper archive.