Reachability analysis of fragments of mobile ambients in AC term rewriting.
Giorgio DelzannoRoberto MontagnaPublished in: Formal Aspects Comput. (2008)
Keyphrases
- term rewriting
- reachability analysis
- timed automata
- theorem prover
- theorem proving
- model checking
- markov decision processes
- rewrite systems
- operational semantics
- mobile devices
- incremental algorithms
- knuth bendix
- mobile phone
- first order logic
- inference rules
- mobile learning
- state space
- context aware
- reinforcement learning
- linear programming
- probability distribution
- artificial intelligence
- databases
- real time