Some Unpublished Manuscripts
- W.H. Hesselink:
A partial barrier based on trylock, 22 September 2023.
- W.H. Hesselink:
A partial barrier based on fetch-and-increment, 25 September 2023.
- W.H. Hesselink:
Four barrier algorithms verified, 24 September 2023.
- A. Meijster and W.H. Hesselink:
Whamsort: an improved version of mergesort, 15 June 2023.
- W.H. Hesselink:
Puzzles of colored cubes, 22 January, 2023 (4 pages).
- W.H. Hesselink:
One-dimensional Dilation Algorithms, 6 May 2022 (8 pages).
- W.H. Hesselink:
Dilation with Diamonds, 20 April 2022 (2 pages).
- W.H. Hesselink:
Reentrant Locking, 4 March 2022 (4 pages).
- W.H. Hesselink:
Post's Correspondence Problem and the Undecidability of Context-Free
Intersection, 28 July 2015 (4 pages).
- W.H. Hesselink:
Universally Distributive Ordered Sets - several known results -.
Updated February 2013 (6 pages)
- W.H. Hesselink:
Safety = invariants + history variables, 4 September 2012 (2
pages).
- W.H. Hesselink:
A Language's Canonical Automaton, 17 April 2009 (4 pages).
- W.H. Hesselink, J.C. Hummelen, H.T. Jonkman,
H.G. Reker, G.R. Renardel de Lavalette, M.H. van der Veen:
Kekulé Cells for Molecular Computation,
18 April 2007 (24 pages).
- W.H. Hesselink and J.E. Jonker:
A Refinement Proof of a Multiword LL/SC Object.
April 2006 (16 pages). With PVS dump files for the
primary algorithm and the
pure algorithm.
- W.H. Hesselink:
The Boyer-Moore Majority Vote Algorithm.
7 November 2005 (2 pages)
- W.H. Hesselink:
On quadratic pruning of IMA.
4 July 2005 (4 pages)
- W.H. Hesselink:
Multirelations are predicate transformers.
23rd February 2004 (2 pages)
- W.H. Hesselink:
Ternary search.
2nd July 2003 (4 pages)
- W.H. Hesselink:
A Crossing with Java Threads and Posix Threads.
October 2001 (8 pages)
- W.H. Hesselink:
Progress with Java threads as dining philosophers.
September 2001 (15 pages)
- W.H. Hesselink:
The borderline between P and NP.
February 2001 (8 pages)
- W.H. Hesselink, J.E. Jonker:
Pthreads and applications of mutex-abstraction.
January 2001 (19 pages)
- W.H. Hesselink:
The Stepping Distance Transformation.
October 1998 (7 pages)
Comments and questions are welcome.
Back to my home page.
Wim H. Hesselink
Last modified: Wed Sep 27 18:45:02 CEST 2023