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=
Contributed to:
Wrote 1 papers:
- CAV-2004-GaoH #algorithm #parallel #reduction
- A Formal Reduction for Lock-Free Parallel Algorithms (HG, WHH), pp. 44–56.