Specifying and Analyzing the Kademlia Protocol in Maude

DOI10.1007/978-3-319-25150-9_30zbMath1471.68151OpenAlexW2295983285WikidataQ124261224 ScholiaQ124261224MaRDI QIDQ2787447

Adrián Riesco, Isabel Pita

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_30

zbMATH Keywords

formal analysisMaudeReal-Time MaudeKademliadistributed specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Data structures (68P05) Distributed systems (68M14) Network protocols (68M12)

Related Items (1)

A process calculus BigrTiMo of mobile systems and its formal semantics

This page was built for publication: Specifying and Analyzing the Kademlia Protocol in Maude