Static and dynamic typing for the termination of mobile processes.

Romain Demangeon Daniel Hirschkoff Davide Sangiorgi

Published in: IFIP TCS (2008)

Keyphrases

mobile devices
mobile phone
mobile users
mobile computing
neural network
information systems
mobile robot
context aware
process model
mobile applications
location aware