3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…