Theorie van Concurrency 1 2003/2004
(Theory of Concurrency 1 2003/2004)

TENTAMENCIJFERS (ook van de HERKANSING)

Theory of Concurrency 1 is a mandatory course for computer science students. In the spring of 2004 it is given as a course for part-time students by Joost Engelfriet. In the fall of 2003 it was given as a 5th semester (3rd year) course for full-time students by Prof. Dr. G. Rozenberg with the assistance of Pierluigi Frisco.
The goal of the course is to make the student familiar with fundamental notions concerning concurrent systems and with the way to formalize and analyze these notions. Thus the student acquires an insight into the basic techniques for working with concurrent systems.
The course material is in English. It consists of dictaat (book) nr. 505069 and opgavenbundel (exercise book) nr. 505068. You can get the course material:

For this course one can obtain 4 study points (5.7 ECTS - European Credit Transfer System - points).

Rooster

Er is college op maandagavond van 18.45 uur tot 21.45 uur, in zaal 1 van het Gorlaeus Laboratorium. Maar niet op iedere maandagavond! Voor details zie het precieze rooster.

Dates of exams

Chapter 8 and Section 9.4 need not be known for the exam. Everything else has to be known (including Sections 9.6 and 9.7).

Wednesday, June 9, 19.00-22.00 h.

The retry (herkansing) exam is on Wednesday, August 11, 14.00-17.00 h (not 19.00-22.00 h as announced earlier!)

Solutions of Exercises (Uitwerkingen van Opgaven)

Errata

Some mistakes in, and additions to the lecture notes can be found in errata.ps errata.pdf

Exams and worked out exams:

Also in the opgavenbundel: Not in the opgavenbundel:

Website

of Petri Net World (online services for the international Petri net community)

Quote

"Confusion is an ordered triple." - G. Rozenberg
This site is administered by Joost Engelfriet. All reactions are welcome at engelfri@liacs.nl. Last update: May 15, 2004