Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Analyzing the exhaustiveness of the synapse protocol

Abstract : The Synapse protocol is a scalable protocol designed for information retrieval over inter-connected heterogeneous overlay networks. In this paper, we give a formal description of Synapse using the Abstract State Machines framework. The formal description pertains to Synapse actions that manipulate distributed keys. Based on this formal description, we present results concerning the expected exhaustiveness for a number of scenarios and systems maintained by the Synapse protocol, and provide comparisons to the results of the corresponding simulations and experiments. We show that the predicted theoretical results match the obtained experimental results, and give recommendations on the design of systems using Synapse.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Monday, May 18, 2015 - 9:50:19 AM
Last modification on : Friday, February 4, 2022 - 3:23:35 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 8:29:41 AM


Files produced by the author(s)




Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, et al.. Analyzing the exhaustiveness of the synapse protocol. Peer-to-Peer Networking and Applications, Springer, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. ⟨10.1007/s12083-014-0293-z⟩. ⟨hal-01146050⟩



Record views


Files downloads