The Mob core language and abstract machine (rev 0.2)

Herve Paulino, Luis Lopes

Most current mobile agent systems are based on programming languages whose semantics are difficult to prove correct as they lack an adequate underlying formal theory. In recent yea…