Implementation of coordination primitives in a mobile architecture

Coordination languages based on multiple tuple spaces and asynchronous communication provide an high level description formalism which is adequate to model applications in a mobile environment. These languages have the advantage, with respect to most languages to describe mobile systems, of permitting to describe the applications without considering low level issues like subsystems location or communication failures. To support this claim we formally show how simple coordination primitives can be implemented when the underlying architecture is a mobile one. Finally, we prove that our implementation model is correct with respect to the coordination language semantics.