Analysis of a gossip protocol in PRISM.

Marta Z. Kwiatkowska Gethin Norman David Parker

Published in: SIGMETRICS Perform. Evaluation Rev. (2008)

Keyphrases

databases
data analysis
statistical analysis
image analysis
formal analysis
database
information retrieval
website
search algorithm
expert systems
lightweight
quantitative analysis