Sommersemester 23

Übung

Concurrency

Lecturer:
  • Prof. Dr.-Ing. Lucas Vincenzo Davi
Contact:
Term:
Summer Semester 2023
Time:
Di, Mi, 16-18 Uhr
Room:
S-M 205
Start:
03.04.2023
End:
14.07.2023
Language:
German
Moodle:
Lecture in Moodle
LSF:
Lecture in LSF

Important Notes:

Dieses Modul wird im geänderten Bachelorstudiengang Software Engineering nicht mehr angeboten

Description:

Theoretische und praktische Übungen zur Vorlesung Concurrency.

Je nach Übungsart findet entweder eine Zentralübung am Mo im Vorlesungsraum statt oder Kleingruppenübungen am Di, Mi im Raum SM-205. Genaue Termine werden in der Vorlesung bekannt gegeben.

Literature:

  • B.-A., Mordechai: Principles of Concurrent and Distributed Programming, Second Edition. Addison-Wesley 2006
  • B.-A., Mordechai: Principles of the Spin Model Checker. Springer, 2008
  • M. Herlihy, N. Shavit: The Art of Multiprocessor Programming, Revised Reprint. Morgan Kaufmann 2012