Behavioural typing for safe ambients.

Michele Bugliesi Giuseppe Castagna

Published in: Comput. Lang. Syst. Struct. (2002)

Keyphrases

collective decision making
feature space
domain knowledge
probabilistic model
probability distribution
scheduling problem