A Calculus of Located Entities. - Adriana B. Compagnoni; Paola Giannini; Catherine Kim; Matthew Milideo; Vishakha Sharma 001 (DCM, 2013)