Reasoning About Gamma Programs. - Lindsay Errington; Chris Hankin; Thomas P. Jensen (Theory and Formal Methods, 1993)

A Congruence for Gamma Programs. - Lindsay Errington; Chris Hankin; Thomas P. Jensen (WSA, 1993)

Static Analysis of Value-Passing Process Calculi. - David Clark 001; Lindsay Errington; Chris Hankin (Theory and Formal Methods, 1994)

On the Semantics of Message Passing Processes. - Lindsay Errington (CTCS, 1999)