On Bisimulation in the pi-calculus. - David Walker 008 (CONCUR, 1994)

Algebraic Proofs of Properties of Objects. - David Walker 008 (ESOP, 1994)

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

On Sharing and Determinacy in Concurrent Systems. - Anna Philippou; David Walker 008 (CONCUR, 1995)

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

Social Confluence in Client-Server Systems. - Anna Philippou; David Walker 008 (CSL, 1996)

A Rigorous Analysis of Concurrent Operations on B-Trees. - Anna Philippou; David Walker 008 (CONCUR, 1997)

On Confluence in the pi-Calculus. - Anna Philippou; David Walker 008 (ICALP, 1997)

On Encoding p-pi in m-pi. - Paola Quaglia; David Walker 008 (FSTTCS, 1998)

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

On Transformations of Concurrent-Object Programs. - Anna Philippou; David Walker 008 (Theor. Comput. Sci., 1998)

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

On Synchronous and Asynchronous Mobile Processes. - Paola Quaglia; David Walker 008 (FoSSaCS, 2000)

The Pi-Calculus - a theory of mobile processes. - Davide Sangiorgi; David Walker 008 (Cambridge University Press, 2001)

On Barbed Equivalences in pi-Calculus. - Davide Sangiorgi; David Walker 008 (CONCUR, 2001)

A Process-Calculus Analysis of Concurrent Operations on B-Trees. - Anna Philippou; David Walker 008 (J. Comput. Syst. Sci., 2001)

Types and full abstraction for polyadic pi-calculus. - Paola Quaglia; David Walker 008 (Inf. Comput., 2005)