W.h. (wim H.) Hesselink
Professor
Science and Engineering
University of Groningen
Netherlands
Biography
W.H. (Wim H.) Hesselink, Professor,Faculty of Science and Engineering Fundamental Computing Science — Johann Bernoulli Inst. for Math. and CompSc. Nijenborgh 9 9747 AG Groningen, The Netherlands
Research Interest
concurrency, program correctness, theorem proving
Publications
-
Tournaments for mutual exclusion: verification and concurrent complexity Scientific - peer-review › Article
-
Dekker's mutual exclusion algorithm made RW-safe Scientific - peer-review › Article
-
Correctness and concurrent complexity of the Black-White Bakery Algorithm Scientific - peer-review › Article
