-
TU Dortmund
-
News:
10/9/2023
Professor Jakob Rehof Awarded International Prize for Computer Science
Concurrent programs involve multiple processes that are executed simultaneously and can influence each other during execution. Hence, the analysis of such programs is particularly complex, and fundame …