A formal model for mobile agent systems using Z.

Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel

Browse the full AICCSA paper archive.