Sign in

Faithful Simulation of Randomized BFT Protocols on Block DAGs.

Hagit AttiyaConstantin EneaShafik Nassar
Published in: CONCUR (2023)
Keyphrases
  • mathematical model
  • directed acyclic graph
  • simulation model
  • simulation environment