Home

Welcome to the Processes and Data Research Group. We are based in Swansea University's Computer Science department. We are developing the new specification language of CSP-CASL and tool support for this new specification language.

We also develop CSP-Prover which is an interactive theorem prover dedicated to refinement proofs within the process algebra CSP.

Phillip James Liam O'Reilly Markus Roggenbach Temesghen Kahsai