Reflecting Mobile Ambients into the p-Calculus.

Linda Brodo Pierpaolo Degano Corrado Priami

Published in: Global Computing (2003)

Keyphrases

mobile devices
mobile phone
location aware
mobile applications
mobile networks
mobile learning
mobile users
mobile environments
intelligent mobile
search engine
context aware
mobile computing
mobile communication
formal language
provably correct
computer algebra