I can be reached by e-mail at le at doc.ic.ac.uk or lindsay at kestrel.edu.
Lindsay Errington, On the Semantics of Message Passing Processes, In CTCS99, Martin Hofmann, Dusko Pavlovic, Pino Rosolini eds. To appear in Electronic Notes in Theoretical Computer Science.
Lindsay Errington, Twisted Systems and the Logic of Imperative Programs Manuscript, October 1998.
Lindsay Errington, Categories of Processes with State (Extended Abstract). In Proceedings of the Third Theory and Formal Methods Workshop, IC Press, 1996.
D.J. Clark, L. Errington and C. Hankin, Static Analysis of Value-Passing Process Calculi (Extended Abstract). In Proceedings of the Second Imperial College Theory and Formal Methods Workshop, Imperial College Press, September 1995.
L. Errington, C. Hankin and T. Jensen, A Congruence for Gamma Programs. In Proceedings of Workshop on Static Analysis '93, Springer LNCS 724.
L. Errington, C. Hankin and T. Jensen, Reasoning about Gamma Programs. In Proceedings of the Theory and Formal Methods Workshop, Springer Workshops in Computer Science, 1993.
L. Errington, The Standard ML Implementation of an Engine for the Abstract Interpretation of Logic Programs. Technical Report 92/18, Dept. of Computer Science The University of Melbourne