Travelled to:1 × USA
Collaborated with:H.Gao
Talks about:algorithm (1) parallel (1) reduct (1) formal (1) lock (1) free (1)
Person: Wim H. Hesselink
 DBLP: Hesselink:Wim_H=
 DBLP: Hesselink:Wim_H=
Contributed to:
Wrote 1 papers:
- CAV-2004-GaoH #algorithm #parallel #reduction
- A Formal Reduction for Lock-Free Parallel Algorithms (HG, WHH), pp. 44–56.












