Theory of Computer Science

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.