DM861: Concurrency Theory
Study Board of Science
Teaching language: Danish or English depending on the teacher, but English if international students are enrolled
EKA: N340005112, N340005102
Assessment: Second examiner: None
Grading: Pass/Fail
Offered in: Odense
Offered in: Autumn
Level: Master
STADS ID (UVA): N340005101
ECTS value: 10
Date of Approval: 25-04-2019
Duration: 1 semester
Version: Archive
Comment
Entry requirements
Academic preconditions
Students taking the course are expected to: Be confident with the content of DM519 Concurrent Programming.
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.
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 and communication safety;
- 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, including: CCS, pi-calculus and
- some of its variants.
- High-level programming languages for concurrent systems.
- Type systems for concurrency, including: types for process calculi,choreography-based type systems.Choreographies: languages, types, compilation, and synthesis.
Literature
Examination regulations
Prerequisites for participating in the exam a)
Timing
Autumn
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)
Exam element a)
Timing
January
Prerequisites
Type | Prerequisite name | Prerequisite course |
---|---|---|
Examination part | Prerequisites for participating in the exam a) | N340005101, DM861: Concurrency Theory |
Tests
Written exam
EKA
N340005102
Assessment
Second examiner: None
Grading
Pass/Fail
Identification
Student Identification Card
Language
Normally, the same as teaching language
Examination aids
None aids allowed. A closer description of the exam rules will be posted under 'Course Information' on Blackboard
ECTS value
10
Additional information
The examination form for re-examination may be different from the exam form at the regular exam.
Indicative number of lessons
Teaching Method
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.