Xinbei Tang

Towards mobile processes in unifying theories

Jim Woodcock, Xinbei Tang, J. Woodcock, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

Travelling Processes

Jim Woodcock, Xinbei Tang, 2004, MPC.

Mobile Process in Unifying Theories

Xinbei Tang, 2004 .