Towards an Algebraic Theory of Typed Mobile Processes.
Yuxin DengDavide SangiorgiPublished in: ICALP (2004)
Keyphrases
- theoretical basis
- mobile devices
- mobile phone
- mobile technologies
- stochastic processes
- context aware
- theoretical framework
- mobile applications
- information theory
- formal theory
- communication channels
- mobile networks
- smart phones
- computing environments
- data sets
- computational models
- web services
- multimedia
- information systems
- neural network