Mobile Agent Life Cycle Demystified using Formal Method Journal title: Transactions on Machine Learning and Artificial Intelligence Authors: IMIANVAN Anthony Agboizebeta, AKINYOKUN Oluwole Charles Subject(s):