Browsing by author "Hamin, Jafar"
Now showing items 1-3 of 3
-
Deadlock-free monitors
Hamin, Jafar; Jacobs, Bart (2018) -
Starvation-free monitors
Hamin, Jafar (2019) -
Transferring obligations through synchronizations
Hamin, Jafar; Jacobs, Bart (2019)