Mobility is achieved by allowing the components to communicate channel ports. The communication paradigms are semantically under-pinned by denotational models. The emphasis is on capturing the special kind of dynamic hiding characterizing mobile systems. We demonstrate the proposed approach in a number of small examples. We consider networks of components communicating asynchronously via unbounded directed channels.
Mobility is achieved by allowing the components to communicate channel ports.
The communication paradigms are semantically under-pinned by denotational models. The emphasis is on capturing the special kind of dynamic hiding characterizing mobile systems.