Joint-work with F. Arbab, M.M. Bonsangue, and F.S. de Boer.
A mobile channel is a link that provides an asynchronous and anonymous means of communication between two components in a distributed system . A channel is called mobile if either of its (channel-)ends can be moved from one component to another without the knowledge of the component at its other end.
Such mobility allows dynamic reconfiguration of channel connections among the components in a system, a property that is very useful and even crucial in systems where the components themselves are mobile. Examples include software for mobile telephones and wearable computers, as well as for smart-card-based electronic commerce.
To our knowledge, no efficient implementation for a general mobile channel has been presented in the literature. In this talk, we present and discuss such an implementation.