Chalmers, K. Investigating communicating sequential processes for Java to support ubiquitous computing. (Thesis). Edinburgh Napier University. http://researchrepository.napier.ac.uk/id/eprint/3507