Collaborated with:J.Hamin R.J.0002 R.Lepigre Gaurav Parthasarathy M.Rapoport Amin Timany D.Dreyer
Talks about:transfer (1) synchron (1) propheci (1) deadlock (1) variabl (1) monitor (1) separ (1) oblig (1) logic (1) futur (1)
Person: Bart Jacobs 0002
DBLP: 0002:Bart_Jacobs
Contributed to:
2018
2019
2020Wrote 3 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.
- POPL-2020-JungLPRTDJ #logic
- The future is ours: prophecy variables in separation logic (RJ0, RL, GP, MR, AT, DD, BJ0), p. 32.