A language for description and verification of mobile agent algorithms | IEEE Conference Publication | IEEE Xplore