Amoretti, Michele and Grazioli, Alessandro and Senni, Valerio and Tiezzi, Francesco and Zanichelli, Francesco  Towards a Formal Approach to Mobile Cloud Computing.  In: PDP 2014       (Submitted)   (2013)