TK8112 - The Theory of Concurrency in Real-Time Systems


Examination arrangement

Examination arrangement: Oral examination
Grade: Passed/Failed

Evaluation form Weighting Duration Examination aids Grade deviation
Oral examination 100/100

Course content

CSP as a process algebra. Process composition, including actions,
alphabets, sequences, alphabetized parallell and interleaving.
Termination, traces, failures and divergence. CSP processes as
transition systems/state machines. Analyzing traces. Algrebraic rules
for CSP. Degrees of abstraction. Modelling discreet time using ticks.
Modelling programs and real-time systems using CSP. Evaluating the
real-time properties of systems using FDR.

Learning outcome

A) Knowledge
1) Thorough knowledge of CSP as a modelling language. (Basic syntax of CSP,
events and processes Fundamental operators: prefixing, recursion,
mu-recursion, alternation Parallel operators; alphabetized,
interleaved, synchronous Channels and piping in CSP Sequential
composition, termination, SKIP vs. STOP)
2) Thorough understanding of divergence in CSP. (CSP hiding and
renaming, and how hiding and renaming affects divergence)
3) Thorough understanding of traces, failures and refinement.
4) Thorough understanding the CSP definition of different types of
refinement and how refinement can be used to check whether a
process follows a specification.
5) Knowledge of the general buffer process, and how this can be used
to check correctness of communication protocols.
B) Skills:
1) Be able to write models in machine-readable CSP for use with FDR2
2) Be able to use FDR2 to check properties of systems defined in CSP.
C) General competence:
1) Introduction to the process algebras
2) Use of abstract mathematics

Learning methods and activities

Self-tuition, study groups and Exercises

Compulsory assignments

  • Exercises

Specific conditions

Exam registration requires that class registration is approved in the same semester. Compulsory activities from previous semester may be approved by the department.

Course materials

A.W. Roscoe: The Theory and Practice of Concurrency. Other litterature may be announced at the start of the semester.

More on the course



Version: 1
Credits:  7.5 SP
Study level: Doctoral degree level


Term no.: 1
Teaching semester:  AUTUMN 2020

Term no.: 1
Teaching semester:  SPRING 2021

Language of instruction: English

Location: Trondheim

Subject area(s)
  • Computer and Information Science
  • Engineering Cybernetics
Contact information
Course coordinator: Lecturer(s):

Department with academic responsibility
Department of Engineering Cybernetics



Examination arrangement: Oral examination

Term Status code Evaluation form Weighting Examination aids Date Time Digital exam Room *
Autumn ORD Oral examination 100/100
Room Building Number of candidates
Spring ORD Oral examination 100/100
Room Building Number of candidates
  • * The location (room) for a written examination is published 3 days before examination date. If more than one room is listed, you will find your room at Studentweb.

For more information regarding registration for examination and examination procedures, see "Innsida - Exams"

More on examinations at NTNU