Expressing dynamics of mobile agent systems using ambient calculus | IEEE Conference Publication | IEEE Xplore