Junhua Ding Peter J. Clarke Dianxiang Xu Xudong He Yi Deng A formal model-based approach for developing an interoperable mobile agent system. 401-412 2006 2 Multiagent and Grid Systems 4 http://iospress.metapress.com/content/8lqf92kn3yl60th1/ db/journals/mags/mags2.html#DingCXHD06