Concurrency Model and Its Application to Formal Protocol Specifications.

Myungchul Kim Samuel T. Chanson Son T. Vuong

Published in: INFOCOM (1993)

Keyphrases

database
probabilistic model
probability distribution
high level
mathematical model
formal model
formal specification
neural network
database systems
statistical model
experimental data
data sets
cost function
theoretical analysis
specification language