This is the old website of the TCS group, since 6 December 2021 this is our current website.
Software
- PSF-Toolkit
- A set of tools to support the development of process algebra
specifications with the
Process Specification
Formalism.
- PGA-Toolset
- A toolset to aid in research on and education in ProGram Algebra.