Hide and New in the Pi-Calculus

Marco Giunti Catuscia Palamidessi Frank D. Valencia

Published in: EXPRESS/SOS (2012)

Keyphrases

automated deduction
computer algebra
evolutionary algorithm
mobile robot
algebraic structure
neural network
data mining
artificial intelligence
information systems
decision trees
multi agent
data structure
provably correct
operating point