Agboizebeta Imianvan, Anthony, and Charles Oluwole Akinyokun. 2015. “Mobile Agent Life Cycle Demystified Using Formal Method”. Transactions on Engineering and Computing Sciences 3 (2):46. https://doi.org/10.14738/tmlai.32.1025.