Vorlesung
Concurrency
- Lecturer:
- Prof. Dr.-Ing. Lucas Vincenzo Davi
- Contact:
- Term:
- Summer Semester 2019
- Time:
- Mo, 14-16 Uhr
- Room:
- S-H 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
