Reducing Block Propagation Delay in Blockchain Networks via Guarantee Verification.

Jiali Chen Yang Qin

Published in: ICNP (2021)

Keyphrases

social networks
model checking
complex networks
network structure
computer networks
community structure
face verification
power law
cellular networks
formal verification
network size
dynamic routing
packet switching