Reliable communication for highly mobile agents

This publication has 9 references indexed in Scilit:

• An exercise in formal reasoning about mobile communications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• LIME
  Published by Association for Computing Machinery (ACM) ,1999
• MASIF: The OMG mobile agent system interoperability facility
  Personal and Ubiquitous Computing, 1998
• Understanding code mobility
  IEEE Transactions on Software Engineering, 1998
• Communication concepts for mobile agent systems
  Published by Springer Nature ,1997
• Author index
  IEEE Software, 1996
• IP Mobility Support
  Published by RFC Editor ,1996
• Fine-grained mobility in the Emerald system
  ACM Transactions on Computer Systems, 1988
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985