Proving properties of the Chord protocol using the ASM formalism.

Bojan Marinkovic Paola Glavan Zoran Ognjanovic

Published in: Theor. Comput. Sci. (2019)

Keyphrases

lightweight
image sequences
communication protocol
neural network
formal analysis
application layer