The ambient calculus provides a unified framework for modeling both kinds of mobility.
An ambient is informally defined as a bounded place in which computation can occur.
Non-local I/O can be represented in terms of these local communications actions by a variety of means.
One approach is to use mobile “messenger” agents that carry a message from one ambient to another (using the capabilities described above).
[1] The three basic ambient primitives, namely in, out, and open are expressive enough to simulate name-passing channels in the π-calculus.