Expressing dynamics of mobile agent systems using ambient calculus Conference Paper uri icon