Coinductive Interpreters for Process Calculi.

Luís Soares Barbosa José Nuno Oliveira

Published in: FLOPS (2002)

Keyphrases

data sets
domain knowledge
databases
search engine
evolutionary algorithm
diffusion process