Kerridge, Jon, Haschke, Jens-Oliver, Chalmers, Kevin, "Mobile agents and processes using communicating process architectures.", , 2025