The aim of the course is to give a conceptual basis for the understanding of concurrency and to make the participants able to construct smaller concurrent programs. Emphasis will be put on the modeling and design of concurrent systems as a means for doing correctness analysis and verification of program designs.

Having followed the course you will be able to:

<!-- Excercises 9.00 - 12.00, followed by a lecture 13.00 - 15.30.-->



Lectures, two smaller mandatory exercises, theory and exercises, and a mini-project.<!--Forelæsninger, 2 mindre obligatoriske opgaver, teori og lab-øvelser, miniprojekt--> 

A 4 hour written examination with marking after the danish scale (in danish: 13-skalaen) and with external censorship. <!--If however less than 12 students register for the examination it will be oral, based on a 20 minutes presentation without preparation, but the questions are
known beforehand.--> Any helping aids are allowed.

<!--4-timers skriftlig eksamen med karakter efter 13-skalaen og med ekstern censur. Eksamenssættet vil være på engelsk. Eksamen kan dog være mundtlig, hvis ikke flere end 12 studerende har tilmeldt sig eksamen i kurset.-->

During the term two mandatory exercises and a mini-project are posed. All three must be approved in order to qualify for participating in the examination, the solutions are not part of the actual examination.

<!--I løbet af semesteret stilles to obligatoriske afleveringsopgaver og et mini-projekt.
Aflevering af de to obligatoriske opgaver samt aflevering og godkendelse af mini-projektet er en forudsætning for at kunne tilmeldes eksamen. Besvarelserne vil dog ikke indgå i karakteren. Alle skriftlige hjælpemidler tilladt.-->