creators_name: Laibinis, Linas creators_name: Troubitsyna, Elena creators_name: Iliasov, Alexei creators_name: Romanovsky, Alexander creators_id: Linas.Laibinis@abo.fi creators_id: Elena.Troubitsyna@abo.fi creators_id: "Alexei Iliasov" creators_id: alexander.romanovsky@ncl.ac.uk editors_name: Alencar, Paulo editors_name: Cowan, Donald type: book_section datestamp: 2011-08-02 10:47:15 lastmod: 2011-08-02 10:47:15 metadata_visibility: show title: Formal Approach to Ensuring Interoperability of Mobile Agents ispublished: pub subjects: Event-Bsemantics subjects: Refinement subjects: deploy_method subjects: deploy_method_resil full_text_status: none date: 2011 date_type: published publisher: IGI Global refereed: TRUE isbn: ISBN13: 9781615206551 book_title: Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications official_url: http://www.igi-global.com/bookstore/titledetails.aspx?titleid=41800 citation: Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Approach to Ensuring Interoperability of Mobile Agents. In: Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. IGI Global. ISBN ISBN13: 9781615206551