Stateful Applied Pi Calculus.

Myrto Arapinis Jia Liu Eike Ritter Mark Ryan

Published in: POST (2014)

Keyphrases

neural network
information systems
real time
learning algorithm
decision making
website
face recognition