A Calculus for the Refinement and Evolution of Multi-user Mobile Applications