A hybrid type system for lock-freedom of mobile processes.

Naoki Kobayashi Davide Sangiorgi

Published in: ACM Trans. Program. Lang. Syst. (2010)

Keyphrases

mobile devices
mobile learning
mobile computing
neural network
website
mobile applications
data mining
genetic algorithm
mobile phone
computational models
mobile environments