Neil Henderson

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

University of Newcastle Upon Tyne, UK (PHD)

Education History

University of Newcastle Upon Tyne, UK

PHD

Publications

Stephen Paynter, Neil Henderson, James M. Armstrong
Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55 (3) (2006)
Stephen Paynter, Neil Henderson, James M. Armstrong
Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. Formal Aspects Comput. 16 (4) (2004)
Neil Henderson
Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. FME (2003)
Neil Henderson, Stephen Paynter
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. FME (2002)
Neil Henderson, Pieter H. Hartel
Pressure Sequence - A Novel Method of Protecting Smart Cards. CARDIS (2000)
Sakaki Morishita, Neil Henderson
Homotopy and Intellectual Property. Computer Graphics International (1999)