Theory of Computer Science

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.