Analysing the Woo-Lam Protocol Using CSP and Rank Functions.

Siraj A. Shaikh Vicky J. Bush

Published in: WOSIS (2005)

Keyphrases

rank aggregation
ranked list
constraint satisfaction problems
formal analysis
metadata
lightweight
constraint satisfaction
information retrieval
basis functions
decomposition methods
network protocols
coloured petri nets
constraint programming
arc consistency
elliptic curve