Ph.D. from University of Sussex in 1995 on "Semantic Models for Communicating Processes with Value-Passing." supervised by Matthew C. B. Hennessy