Description of the Chord Protocol using ASMs Formalism

Bojan Marinkovic Paola Glavan Zoran Ognjanovic

Published in: CoRR (2012)

Keyphrases

knowledge representation
lightweight
high level
active shape model
conceptual graphs
multiresolution
formal model
formal analysis
cryptographic protocols
situation calculus
application layer
tcp ip
communication protocols
network devices
coloured petri nets