Proving properties of the Chord protocol using the ASM formalism

DOI10.1016/j.tcs.2018.10.025zbMath1410.68051OpenAlexW2898194082MaRDI QIDQ1757159

Zoran Ognjanović, Bojan Marinković, Paola Glavan

Publication date: 2 January 2019

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.10.025

zbMATH Keywords

abstract state machinespeer-to-peerChordformal descriptionDHT-based overlay networks

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Network protocols (68M12)

Uses Software

• Chord
• Cassandra
• Bigtable

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From P2P to web services and grids. Peers in a client/server world.
• Can abstract state machines be useful in language theory?
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Analysis of the evolution of peer-to-peer systems
• Sequential abstract-state machines capture sequential algorithms