Hany Loulou

A formal model for mobile agent systems using Z

Mohamed Jmaiel, Ahmed Hadj Kacem, Hany Loulou, 2005, The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005..