On the Formal Analysis of P2P Algorithms with aSMoL and Maude.

Francisco Durán Francisco Gutiérrez Pablo López Ernesto Pimentel

Published in: CIbSE (2011)

Keyphrases

formal analysis
worst case
social networks
computational cost
learning algorithm
data structure
computational complexity
low cost
theoretical analysis
black box