Robin Milner Ubiquitous Computing: Shall we Understand It? 383-389 2006 49 Comput. J. 4 http://dx.doi.org/10.1093/comjnl/bxl015 db/journals/cj/cj49.html#Milner06