A formal model for mobile agent systems using Z. - Hany Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel (AICCSA, 2005)