Comparing operational models of name-passing process calculi.

Marcelo P. Fiore Sam Staton

Published in: Inf. Comput. (2006)

Keyphrases

process model
probabilistic model
artificial intelligence
case study
experimental data
bayesian framework
accurate models
databases
decision trees
image sequences
probability distribution
complex systems
statistical models
development process
classification models
mathematical models