A Fully Abstract Domain Model for the pi-Calculus.

Published in: LICS (1996)

Keyphrases

computational model
high level
prior knowledge
probability distribution
domain specific
domain models
conceptual model
mathematical model
parameter estimation
database
em algorithm
knowledge base
learning algorithm
information retrieval
experimental data
data mining
bayesian framework
data sets