C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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