MoCha-pi, an exogenous coordination calculus based on mobile channels