A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.

Maria Grazia Buscemi Ugo Montanari

Published in: CONCUR (2002)

Keyphrases

experimental data
decision making
probabilistic model
management system
theoretical analysis
social networks
cost function
neural network model
data sets
machine learning
knowledge base
high level
objective function
probability distribution
object model