Swansea University
Computer Science

Processes and Data

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

Group Photo

Phillip James Liam O'Reilly Markus Roggenbach Temesghen Kahsai