@Inproceedings{EPTCS188.3, author = {Gul, Nosheen}, year = {2015}, title = {A Calculus of Mobility and Communication for Ubiquitous Computing}, editor = {ter Beek, Maurice H. and Lluch Lafuente, Alberto}, booktitle = {{\rm Proceedings 11th International Workshop on} Automated Specification and Verification of Web Systems, {\rm Oslo, Norway, 23rd June 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {188}, publisher = {Open Publishing Association}, pages = {6-22}, doi = {10.4204/EPTCS.188.3}, }