Sommersemester 21

Übung

Concurrency

Dozent:
  • Prof. Dr.-Ing. Lucas Vincenzo Davi
Ansprechpartner:
Semester:
Sommersemester 2021
Termin:
Mo, Di, Mi, 16-18 Uhr
Raum:
Online
Beginn:
12.04.2021
Ende:
23.07.2021
Sprache:
deutsch
Moodle:
Veranstaltung in Moodle
LSF:
Veranstaltung im LSF

Beschreibung:

Theoretische und praktische Übungen zur Vorlesung Concurrency.

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

Literatur:

  • 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