Intensional and Extensional Characterisation of Global Progress in the π-Calculus.

Luca Fossati Kohei Honda Nobuko Yoshida

Published in: CONCUR (2012)

Keyphrases

database
artificial intelligence
conceptual schema
databases
real world
multi agent
expert systems
evolutionary algorithm
provably correct