Skip to ContentSkip to Navigation
University of Groningenfounded in 1614  -  top 100 university
Close
About us Practical matters How to find us prof. dr. W.H. (Wim H.) Hesselink

prof. dr. W.H. (Wim H.) Hesselink

Professor
Publications

Publications

First-come-first-served as a separate principle

Hesselink, W. H., Buhr, P. A. & Parsons, C. A., 2024, (Accepted/In press) In: ACM Transactions on Parallel Computing.

Research output: Contribution to journal › Article › Academic › peer-review

MCSH, a lock with the standard interface

Hesselink, W. H. & Buhr, P., Jun-2023, In: ACM Transactions on Parallel Computing. 10, 2, 22 p., 11.

Research output: Contribution to journal › Article › Academic › peer-review

Trylock, a case for temporal logic and eternity variables

Hesselink, W. H., Apr-2022, In: Science of computer programming. 216, 102767.

Research output: Contribution to journal › Article › Academic › peer-review

UNITY and Büchi automata

Hesselink, W. H., Mar-2021, In: Formal Aspects of Computing. 33, p. 185–205 21 p.

Research output: Contribution to journal › Article › Academic › peer-review

Conditionally complete sponges: New results on generalized lattices

Gronde ,van de, J. & Hesselink, W. H., Mar-2019, In: Indagationes mathematicae-New series. 30, 2, p. 265-287 23 p.

Research output: Contribution to journal › Article › Academic › peer-review

Group mutual exclusion by fetch-and-increment

Aravind, A. A. & Hesselink, W. H., Feb-2019, In: ACM Transactions on Parallel Computing. 5, 4, 29 p., 14.

Research output: Contribution to journal › Article › Academic › peer-review

The Nullcone of the Lie algebra of $G_2$

Hesselink, W. H., Jul-2019, In: Indagationes mathematicae-New series. 30, 4, p. 623-648 26 p.

Research output: Contribution to journal › Article › Academic › peer-review

Fast mutual exclusion by the Triangle algorithm

Hesselink, W., Buhr, P. & Dice, D., 25-Feb-2018, In: Concurrency and Computation. 30, 4, 28 p., e4183.

Research output: Contribution to journal › Article › Academic › peer-review

High-contention mutual exclusion by elevator algorithms

Buhr, P. A., Dice, D. & Hesselink, W. H., 25-Sept-2018, In: Concurrency and Computation. 30, 18, 29 p., 4475.

Research output: Contribution to journal › Article › Academic › peer-review

The quartet spaces of G. 't Hooft

Hesselink, W. H., Apr-2018, In: Indagationes mathematicae-New series. 29, 2, p. 628-632 4 p.

Research output: Contribution to journal › Article › Academic › peer-review

Read more
View full research profile
Follow the UGfacebook twitter linkedin rss instagram youtube
Functional
Provides basic functions and uses anonymized cookies.
Standard
Provides optimal operation and uses video cookies, among others.
Complete
Provides personalized content and uses marketing cookies.
Set your cookie preferences. Read our privacy and cookie disclaimer for more information.