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