Towards an algebraic theory of typed mobile processes.

Yuxin Deng Davide Sangiorgi

Published in: Theor. Comput. Sci. (2006)

Keyphrases

mobile devices
database
theoretical framework
process model
formal theory
mobile commerce
higher order
context aware
computational models
fixed order
location aware
mobile networks
theoretical basis
smart phones
mobile technologies
mobile applications
mobile learning
multimedia
decision making
real time