This is the old website of the TCS group, since 6 December 2021 this is our current website.
Research
Currently, the TCS is working on the following projects:
Process Algebra
Development of a process theory and tools that can be used to specify
and verify concurrent communicating systems; research on modularisation
of specifications, theory of module algebra; algebraic specification of
data types.
For this purpose the Process Specification Formalism has been designed for which a toolset has been made. More information can be found on the PSF Home Page.
Program Algebra
Program Algebra is an algebraic framework for sequential programming.
Its purpose is to contribute to a better understanding of sequential
programming.
A very simple program notation is used as basis for development of
other program notations.
More information can be found on the PGA Home Page.
Software Engineering with Process Algebra
The investigation of the application of process algebra in software
engineering and software re-engineering.
More information can be found on SE-PA.
Thread Algebra for Strategic Interleaving
More information can be found on TA4SI.