Vorlesung

Concurrency

Lecturer:
  • Prof. Dr.-Ing. Lucas Vincenzo Davi
Contact:
Term:
Summer Semester 2019
Time:
Mo, 14-16 Uhr
Room:
SH-601
Start:
06.04.2020
End:
13.07.2020
Language:
German
Moodle:
Lecture in Moodle
LSF:
Lecture in LSF

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