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. Doc 508 Information and Computation - Milner, Parrow et al. Doc 508 Information and Computation - Milner, Parrow et al.