A Polymorphic Type System for the Polyadic pi-calculus. - Xinxin Liu 008; David Walker 008 (CONCUR, 1995)

Confluence of Processes and Systems of Objects. - Xinxin Liu 008; David Walker 008 (TAPSOFT, 1995)

Partial Confluence of Proceses and Systems of Objects. - Xinxin Liu 008; David Walker 008 (Theor. Comput. Sci., 1998)

Concurrent objects as mobile processes. - Xinxin Liu 008; David Walker 008 (Proof, Language, and Interaction, 2000)