Chalmers, Kevin, "Investigating communicating sequential processes for Java to support ubiquitous computing", , 2025