Some Unpublished Manuscripts

• W.H. Hesselink: Safety = invariants + history variables, 4 September 2012 (2 pages).
• W.H. Hesselink: Post's correspondence problem PCP is about context-free grammars, 5 July 2012 (1 page).
• 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: Universally Distributive Ordered Sets - several known results -. 3 January 2007 (5 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)