Amoretti, Michele and Grazioli, Alessandro and Zanichelli, Francesco and Senni, Valerio and Tiezzi, Francesco  Towards a formal approach to mobile cloud computing.  In: PDP 2014, 12-14 February 2014, University of Turin, Italy pp. 743-750. ISSN 1066-6192.       (2014)