We are interested in establishing links
between the process-based language CSP and other process algebras (e.g.
CCS) as well as other programming and verification paradigms.
We are currently looking into how
those links may be exploited to reason about the Unified Modelling
Language (UML), specifications expressed in temporal logics, programs
based on shared variables, and security protocols. Visit our tools
section for some practical applications of this work.