Oxford has long been one of the main centres of concurrency research. Most of our work, by Roscoe, Lowe, Ouaknine and others, is based on the CSP process algebra, and David Walker is prominent in pi-calculus research. We develop and analyse models of concurrency and their operational, algebraic and other semantics, always with practical applications in mind. Key achievements include Roscoe's solution to the problem of modelling in CSP beyond possible divergence, the publication of Walker's book on the pi-calculus, and a $295K research grant from the US ONR on interoperability that led to the discovery of new models of concurrency fully abstract with respect to responsiveness.
