Agboizebeta Imianvan, A. and Oluwole Akinyokun, C. 2015. Mobile Agent Life Cycle Demystified using Formal Method. Transactions on Engineering and Computing Sciences. 3, 2 (May 2015), 46. DOI:https://doi.org/10.14738/tmlai.32.1025.