RPO semantics for mobile ambients.
Filippo BonchiFabio GadducciGiacoma Valentina MonrealePublished in: Math. Struct. Comput. Sci. (2014)
Keyphrases
- mobile devices
- mobile phone
- logic programming
- formal semantics
- m learning
- intelligent mobile
- default reasoning
- mobile networks
- mobile computing
- conceptual model
- mobile applications
- semantic information
- mobile environments
- mobile learning
- high level
- location aware
- mobile communication
- model theoretic
- information systems