Collaborated with:
B.J.0002
Talks about:
transfer (1) synchron (1) deadlock (1) monitor (1) oblig (1) free (1)
Person: Jafar Hamin
DBLP: Hamin:Jafar
Contributed to:
Wrote 2 papers:
- ESOP-2018-Hamin0 #concurrent #monitoring
- Deadlock-Free Monitors (JH, BJ0), pp. 415–441.
- ECOOP-2019-Hamin0
- Transferring Obligations Through Synchronizations (JH, BJ0), p. 58.