A Language for the Specification and Analysis of Protocols.

S. Aggarwal Robert P. Kurshan D. Sharma

Published in: Protocol Specification, Testing, and Verification (1983)

Keyphrases

statistical analysis
quantitative analysis
real time
databases
multi agent
language processing
social networks
data analysis
image analysis