Concurrency - Theory and Practise

General Information


Lecturer:Prof. Dr. Peter Thiemann
Time and Place: Wed 16 - 18, Geb. 51, SR 00-031


Organization:Dr. Bas van den Heuvel
Exercise Sessions: Fri 12 - 14, Geb. 106, R 04-007 (occasionally online)

For up-to-date information, use the webpage here.

Literature (non-exhaustive)


This course covers the topics from the following (non-exhaustive) selection:

  • Basics of Mutual exclusion
  • Formal Models of Concurrent Computations
  • Correctness of Concurrent Computations
  • Memory Models
  • Concurrent data structures
  • Scheduling and Work Distribution in Practise
  • Message Passing Concurrency
  • Session Types