Typed Mobile Ambients in Maude.
Fernando Rosa-VelardoClara SeguraAlberto VerdejoPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- mobile devices
- higher order
- mobile phone
- mobile learning
- mobile environments
- context aware
- mobile applications
- mobile networks
- location aware
- formal specification
- intelligent mobile
- mobile communication
- mobile technologies
- mobile computing
- computing environments
- m learning
- lambda calculus
- knowledge base
- expert systems
- multi agent