Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.
Giorgio DelzannoRoberto MontagnaPublished in: ICTAC (2006)
Keyphrases
- term rewriting
- reachability analysis
- timed automata
- theorem prover
- theorem proving
- markov decision processes
- model checking
- rewrite systems
- operational semantics
- incremental algorithms
- knuth bendix
- mobile devices
- mobile phone
- state space
- inference rules
- first order logic
- mobile learning
- databases
- expert systems
- multi agent