Review of the pi-calculus: a theory of mobile processes.

Riccardo Pucella

Published in: SIGACT News (2003)

Keyphrases

computer algebra
mobile devices
theoretical framework
theoretical basis
mobile phone
human problem solving
real time
computational models
formal methods
algebraic structure
data sets
genetic algorithm
mobile learning
m learning