Malcolm Hole

Subtyping for session types in the pi calculus

Simon J. Gay, Malcolm Hole, S. Gay, 2005, Acta Informatica.

Types and Subtypes for Client-Server Interactions

Simon J. Gay, Malcolm Hole, S. Gay, 1999, ESOP.

Types for Correct Communication in Client-Server Systems

Malcolm Hole, Malcolm Hole, 2000 .