Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel. A formal model for mobile agent systems using Z. In 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt. pages 113, IEEE Computer Society, 2005. [doi]
Abstract is missing.