In this paper we present MoCha-pi, an exogenous coordination
calculus that is based on mobile channels. A mobile channel is a
coordination primitive that
allows anonymous point-to-point communication between processes. Our
calculus is an extension of the well-known
$\pi$-calculus. The novelty of MoCha-pi is that its channels are a
special kind of process that allow other processes to communicate with
each other and impose exogenous coordination through user defined
channel types.
Also new, is the fact that in our calculus channels are viewed as resources.
Processes must compete with each other in order
to gain access to a particular channel. This makes the calculus more
in line with existing systems. An immediate application of this
calculus is the modeling of the MoCha middleware, a distributed system
that coordinates components using mobile channels.