The LOCUS distributed system architecture
The LOCUS distributed system architecture
Design of a distributed object manager for the Smalltalk-80 system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
The Sprite Network Operating System
Computer
Design and validation of computer protocols
Design and validation of computer protocols
IP-based protocols for mobile internetworking
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
A calculus of mobile processes, I
Information and Computation
VIP: a protocol providing host mobility
Communications of the ACM
Indirect distributed garbage collection: handling object migration
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Expressing code mobility in mobile UNITY
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Linear and Branching Structures in the Semantics and Logics of Reactive Systems
Proceedings of the 12th Colloquium on Automata, Languages and Programming
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
A foundation for actor computation
Journal of Functional Programming
| Hi-index | 0.00 |
We study a highly simplified version of the proposed mobility support in version 6 of Internet Protocols (IP). We concentrate on the issue of ensuring that messages to and from mobile agents are delivered without loss of connectivity. We provide three models, of increasingly complex nature, of a network of routers and computing agents that are interconnected via the routers: the first is without mobile agents and is treated as a specification for the next two; the second supports mobile agents, and the third additionally allows correspondent agents to cache the current location of a mobile agent. Following a detailed analysis of the three models to extract invariant properties, we show that the three models are related by a suitable notion of equivalence based on barbed bisimulation. Finally, we report on some experiments in simulating and verifying finite state versions of our model.