A Meta-Notation for Protocol Analysis.

Iliano Cervesato Nancy A. Durgin Patrick Lincoln John C. Mitchell Andre Scedrov

Published in: CSFW (1999)

Keyphrases

data analysis
statistical analysis
lightweight
databases
learning algorithm
social networks
decision making
multi agent systems
image analysis
formal analysis