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
Censorship: 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

15019801(former UVA) is identical with this course description. 

Entry requirements

None

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

See Blackboard for syllabus lists and additional literature references.

Examination regulations

Prerequisites for participating in the exam a)

Timing

Autumn

Tests

Assignments during the course

EKA

N340005112

Censorship

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

Censorship

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

60 hours per semester

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.

Teacher responsible

Name E-mail Department
Fabrizio Montesi fmontesi@imada.sdu.dk

Timetable

Administrative Unit

Institut for Matematik og Datalogi (datalogi)

Recommended course of study

Profile Programme Semester Period