Homotopy and Intellectual Property. - Sakaki Morishita; Neil Henderson (Computer Graphics International, 1999)

The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. - Neil Henderson; Stephen Paynter (FME, 2002)

Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. - Neil Henderson (FME, 2003)

Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism. - Stephen Paynter; Neil Henderson; James M. Armstrong (Formal Aspects Comput., 2004)

Formal modelling and analysis of an asynchronous communication mechanism. - Neil Henderson (2005)

Metastability in Asynchronous Wait-Free Protocols. - Stephen Paynter; Neil Henderson; James M. Armstrong (IEEE Trans. Computers, 2006)