Neil Henderson

According to our database, Neil Henderson authored at least 6 papers between 1999 and 2006.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2006

Metastability in Asynchronous Wait-Free Protocols.

Stephen Paynter, Neil Henderson, James M. Armstrong

IEEE Trans. Computers, 2006

2005

Formal modelling and analysis of an asynchronous communication mechanism.

Neil Henderson

PhD thesis, 2005

2004

Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism.

Stephen Paynter, Neil Henderson, James M. Armstrong

Formal Aspects Comput., 2004

2003

Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method.

Neil Henderson

Proceedings of the FME 2003: Formal Methods, 2003

2002

The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.

Neil Henderson, Stephen Paynter

Proceedings of the FME 2002: Formal Methods, 2002

1999

Homotopy and Intellectual Property.

Sakaki Morishita, Neil Henderson

Proceedings of the Computer Graphics International Conference, CGI 1999, Canmore, Alberta, 1999