Agboizebeta Imianvan, A.; Oluwole Akinyokun, C. Mobile Agent Life Cycle Demystified Using Formal Method. TECS 2015, 3, 46.