A general framework for network aware programming will be presented that consists of a model, a language for programming mobile applications, and a logic for specifying properties of the applications. The framework is based on: Klaim, a Linda based process algebra; on XKlaim, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple tuple spaces; and on a modal logic inspired by Hennessy-Milner logic and interpreted over the same labelled structures used for the operational semantics of XKlaim.