Parametric synchronizations in mobile nominal calculi.

Roberto Bruni Ivan Lanese

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

Keyphrases

mobile phone
mobile devices
mobile learning
mobile applications
m learning
mobile computing
context aware
intelligent mobile
data sets
mobile commerce
mobile environments
mobile users
sequent calculi
location aware
smart phones
database systems
genetic algorithm