What Can the pi-calculus Tell Us About the Mondex Purse System?

Cliff B. Jones Ken G. Pierce

Published in: ICECCS (2007)

Keyphrases

neural network
learning algorithm
automated deduction
provably correct
real time
data mining
evolutionary algorithm
formal language
computer algebra
database query languages