Formal Specification and Verification of Mobile Agent Systems. - Laid Kahloul; Messaouda Grira (Int. J. Comput. Commun. Control, 2014)