Towards a Formal Approach to Mobile Cloud Computing