|
[BDG+23]
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti and Adele Veschetti.
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.
Concurrency and Computation: Practice and Experience, 35.
2023.
[Uses an extended version of PRISM to analyse a bitcoin blockchain protocol.]
|
|
Links:
[Google]
[Google Scholar]
|