DM861: Concurrency Theory
Study Board of Science
Teaching language: Danish or English depending on the teacher, but English if international students are enrolled
EKA: N340005102, N340005112
Assessment: Second examiner: None
Grading: 7-point grading scale, Pass/Fail
Offered in: Odense
Offered in: Spring
Level: Master
STADS ID (UVA): N340005101
ECTS value: 10
Date of Approval: 14-10-2022
Duration: 1 semester
Version: Approved - active
Entry requirements
Academic preconditions
Course introduction
Multi-core processors, cloud computing, and web services make concurrent systems widespread. However, designing and programming such systems correctly is challenging, since it requires predicting how multiple programs executed independently will interact.
This course aims at presenting and investigating models, reasoning techniques, and abstract programming disciplines for concurrent systems. These tools allow for translating concrete requirements and designs into precise mathematical definitions, which can be used to prove that the desired properties are provided (such as lack of deadlocks or safe usage of asynchronous channels).
Many of the models covered in the course are the bases of recent or emerging programming languages and design tools, such as BPMN, Go, and Jolie.
In relation to the competence profile of the degree it is the explicit focus
of the course to:
- Give the competence to: plan and carry out scientific projects at a high professional level, including managing work and development situations that are complex, unpredictable, and require new solution.
- Give skills to: describe, analyze, and solve advanced computational problems using the learned models; develop new variants of the methods learned.
- Give knowledge and understanding of: a variety of specialized models and methods developed in computer science, based on the highest international research, including topics from the subject's research front; a scientific basis to reflect on the subject area and to identify scientific issues.
The course builds upon knowledge of concurrency obtained during the bachelor, and provides knowledge that can be used for a master thesis in the area of concurrency.
Expected learning outcome
The learning objective of the course is that the student demonstrates the
ability to:
- represent real-world concurrent systems in the abstract models covered in the course;
- identify and formalise typical useful properties of concurrent systems, like deadlock-freedom;
- prove properties of concurrent systems;
- prove general properties of formal models for concurrency.
Content
The following main topics are contained in the course:
- Process models for concurrency.
- High-level programming languages for concurrent systems.
- Inference systems for safety property in concurrency.
- Choreographies: languages, compilation, and synthesis.
Literature
Examination regulations
Exam element a)
Timing
June
Tests
Written exam
EKA
N340005102
Assessment
Second examiner: None
Grading
7-point grading scale
Identification
Student Identification Card
Language
Normally, the same as teaching language
Duration
3 hours
Examination aids
The exam is without aids. However It is allowed to use "ordbogsprogrammet" (the dictionary programme) from http://www.ordbogen.com/ in electronic form. The browser version is not allowed.
Internet is not allowed during the exam. However, you may visit system "DE-Digital Exam".
ECTS value
10
Prerequisites for participating in the exam a)
Timing
Spring
Tests
Assignments during the course
EKA
N340005112
Assessment
Second examiner: None
Grading
Pass/Fail
Identification
Full name and SDU username
Language
Normally, the same as teaching language
Examination aids
To be announced during the course
ECTS value
0
Additional information
The prerequisite examination is a prerequisite for participation in exam element a)
Indicative number of lessons
Teaching Method
In order to enable the students to achieve the learning objectives for the course, the teaching is organized so that there are 60 lecture hours in a semester. These teaching activities result in an estimated indicative distribution of the work effort of an average student in the following way:
- Intro phase (lecture, class lectures) - Number of hours: 30
- Training phase: Number of hours: 30
- Total: Number of hours: 60
Frontal lectures will focus on the introduction of theoretical models, programming languages, and relevant proof techniques.
Training hours will focus on gaining practical experience with these tools.
The study phase will consist of the following activities:
- Reading of written material distributed by the lecturer.
- Comparison of different inference-based systems.
Teacher responsible
Timetable
Administrative Unit
Team at Educational Law & Registration
Offered in
Recommended course of study
Transition rules
Transitional arrangements describe how a course replaces another course when changes are made to the course of study.
If a transitional arrangement has been made for a course, it will be stated in the list.
See transitional arrangements for all courses at the Faculty of Science.