Skip to ContentSkip to Navigation
breed in kennis  -  sterk in techniek
Over ons Praktische zaken Waar vindt u ons prof. dr. W.H. (Wim H.) Hesselink

Publicaties

Waitfree linearization of an arbitrary data object

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

Sustainable Development Goals

SDG 16 – Vrede, rechtvaardigheid en sterke instellingen

Meer informatie over de Sustainable Development Goals.