Research output per year
Research output per year
-
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
Open AccessFile1 Downloads (Pure) -
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
Open AccessFile1 Citation (Scopus)38 Downloads (Pure) -
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
Open AccessFile1 Citation (Scopus)135 Downloads (Pure) -
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
Open AccessFile39 Downloads (Pure) -
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
Open AccessFile2 Citations (Scopus)115 Downloads (Pure)