Back to Search
Start Over
Proving properties of the Chord protocol using the ASM formalism.
- Source :
-
Theoretical Computer Science . Jan2019, Vol. 756, p64-93. 30p. - Publication Year :
- 2019
-
Abstract
- Abstract This paper describes the overlay protocol Chord using the formalism of Abstract State Machines. The formalization concerns Chord actions that maintain ring topology and manipulate distributed keys. We define a minimal set of deterministic constraints and prove that they guarantee the stability of the topological structure of the network and the consistency of data handling. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 03043975
- Volume :
- 756
- Database :
- Academic Search Index
- Journal :
- Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 133749791
- Full Text :
- https://doi.org/10.1016/j.tcs.2018.10.025