Vanwege het Corona virus is het nog onduidelijk hoe het onderwijs precies verzorgd gaat worden. Zie voor de actuele informatie de betreffende vakpagina’s op Blackboard/Brightspace.

Studiegids

nl en

Concurrency and Causality

Vak
2020-2021

Please note that this course description is preliminary. The final course description will be released during the fall semester 2020.

Admission requirements

BSc Computer Science or Mathematics

Description

Understanding the causal relations between the events of a concurrent run of a distributed system is crucial for reasoning about its behaviour. First, in a sequence of lectures, the partial order semantics of Elementary Net systems, a fundamental model of concurrent systems, is discussed. Next, together with the participants, we move to extended net systems and relational structures obtained from sets of step sequences that are not partial orders. We discuss, in the form of a seminar, the general order structures that can capture any concurrent history consisting of labelled structures underlying the step sequences that form the observations of a run. Students present (existing) results from scientific research and write an essay (in LaTeX) explaining their lectures.

The first part of the course uses lecture notes. The second part relies mostly on published research.
It is recommended that students have knowledge of and are interested in theory of concurrency, formal language theory, and discrete mathematics.

Course objectives

Students should learn to read, understand, discuss, and disseminate (in written and oral form) scientific papers.

Timetable

Time and date on which the course is offered or a link to the website. The administration will complete this with the link to the website.

Mode of instruction

Lecture
Seminar

Assessment method

Written examination with short questions 50%
Presentation (Oral and Essay) 50%

Both should be sufficient (6 or more).
Retake possible for examination only.

Reading list

Will be announced during the course.

Registration

Students have to sign up for classes and examinations (including resits) in uSis. Check this link for more information and activity codes.

Contact

h.c.m.kleijn@liacs.leidenuniv.nl

Remarks