Faithful Simulation of Randomized BFT Protocols on Block DAGs.

Hagit Attiya Constantin Enea Shafik Nassar

Published in: CONCUR (2023)

Keyphrases

mathematical model
directed acyclic graph
simulation model
simulation environment