title: Formal Approach to Ensuring Interoperability of Mobile Agents
creator: Laibinis, Linas
creator: Troubitsyna, Elena
creator: Iliasov, Alexei
creator: Romanovsky, Alexander
subject: Event-B
subject: Refinement
subject: Methodology
subject: Resilience
publisher:  IGI Global
contributor: Alencar, Paulo 
contributor: Cowan, Donald 
date: 2011
type: Book Section
type: PeerReviewed
relation: http://www.igi-global.com/bookstore/titledetails.aspx?titleid=41800
identifier:   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     
relation: http://deploy-eprints.ecs.soton.ac.uk/317/