Skip to ContentSkip to Navigation
How to find us prof. dr. W.H. (Wim H.) Hesselink

Publications

UNITY and Büchi automata

Conditionally complete sponges: New results on generalized lattices

Group mutual exclusion by fetch-and-increment

The Nullcone of the Lie algebra of $G_2$

Fast mutual exclusion by the Triangle algorithm

High-contention mutual exclusion by elevator algorithms

The quartet spaces of G. 't Hooft

Tournaments for mutual exclusion: verification and concurrent complexity

Correctness and concurrent complexity of the Black-White Bakery Algorithm

Dekker's mutual exclusion algorithm made RW-safe

Read more