Browsing by Author "Hamin, Jafar"

Now showing 1 - 3 of 3

Deadlock-free monitors

Hamin, Jafar
;
Jacobs, Bart
Proceedings paper
2018, ESOP 2018: Programming Languages and Systems, 14/04/2018, p.415-441
Starvation-free monitors

Hamin, Jafar
Proceedings paper
2019, 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), 31/10/2019, p.175-195
Transferring obligations through synchronizations

Hamin, Jafar
;
Jacobs, Bart
Proceedings paper
2019, 33rd European Conference on Object-Oriented Programming - ECOOP, 15/07/2019