Handins & Exercises


In connection with most lectures we’ll spend some time on exercises. The exercises supplements and illustrates the formal presentation of the ideas in the written material read for the day. The course contains two types of exercises: a number of smaller one-lecture exercises and a single, larger assignment that runs over several weeks.

One-lecture exercises

The one-lecture exercises follow a fixed pattern:

Larger assignment (archetypical problem)

The single, larger assignment starts at lecture 4 and runs for the remainder of the course. The purpose of the assignment is to provide an opportunity for the students to work on a small distributed system almost to completion, through all of the phases: design, verification and implementation (and debugging).

Exercises by lecture

Lecture 1 - Introduction

The exercises can be seen/found in the slides for lecture 1.