The π-Calculus: A theory of mobile processes.

Published in: Scalable Comput. Pract. Exp. (2008)

Keyphrases

computer algebra
mobile phone
theoretical framework
theoretical basis
computational model
mobile services
process model
computational models
genetic algorithm
database systems
data model
computing environments
mobile environments