Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons prof. dr. W.H. (Wim H.) Hesselink

Publicaties

First-come-first-served as a separate principle

MCSH, a lock with the standard interface

Trylock, a case for temporal logic and eternity variables

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

Lees meer