Travelling Processes. - Xinbei Tang; Jim Woodcock 001 (MPC, 2004)

Towards Mobile Processes in Unifying Theories. - Xinbei Tang; Jim Woodcock 001 (SEFM, 2004)