Feasible reactivity in a synchronous pi-calculus

Roberto M. Amadio Frédéric Dabrowski

Published in: CoRR (2007)

Keyphrases

feasible solution
artificial intelligence
data sets
multi agent
tabu search
agent architecture
automated deduction
databases
genetic algorithm
search engine
multiscale
multi agent systems
simulated annealing
proof procedure