TY - RPRT TI - A Calculus of Mobility and Communication for Ubiquitous Computing AU - Nosheen Gul PY - 2015 DO - 10.4204/eptcs.188.3 UR - https://arxiv.org/abs/1508.03908 ID - 1508.03908 ER -