Does my BFT protocol implementation scale?

Christian Berger Sadok Ben Toumia Hans P. Reiser

Published in: DICG@Middleware (2022)

Keyphrases

scale space
lightweight
efficient implementation
protocol specification
interprocess communication
multi agent
multiresolution
image features
sensor networks
distributed systems
formal analysis
coloured petri nets