Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Neil Henderson

Newcastle AuthorsTitleYearFull text
Dr Stephen Paynter
Neil Henderson
Dr James Armstrong
Metastability in Asynchronous Wait-Free Protocols2006
Neil Henderson
Dr Stephen Paynter
Real-time Interactions: An Abstract Notation for Specifying and Analysing the Timing Properties of Real-time Systems2006
Neil Henderson
[PhD Thesis] Formal Modelling and Analysis of an Asynchronous Communication Mechanism2005
Dr Stephen Paynter
Neil Henderson
Dr James Armstrong
Metastability in Asynchronous Wait-Free Protocols2004
Dr Stephen Paynter
Neil Henderson
Dr James Armstrong
Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism2004
Neil Henderson
Proving the Correctness of Simpson's 4-slot ACM Using An Assertional Rely-Guarantee Proof Method2003
Neil Henderson
Proving the correctness of Simpson's 4-slot ACM using an assertional rely-guarantee proof method2003
Neil Henderson
Proving the Correctness of Simpson's 4-slot ACM Using An Assertional Rely-Guarantee proof method2003
Neil Henderson
Proving the Correctness of Simpson's 4-slot ACM Using an Assertional Rely-Guarantee Proof Method2003
Dr Stephen Paynter
Neil Henderson
Dr James Armstrong
Ramifications of Metastability in Bit Variables Explored Via Simpson's 4-Slot Mechanism2003
Neil Henderson
Dr Stephen Paynter
The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism2002
Neil Henderson
Dr Stephen Paynter
The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism2002
Neil Henderson
Introducing Real-time Interactions2001
Neil Henderson
A Systematic Approach for Development of Reactive Real-Time Systems2000
Neil Henderson
A Systematic Method for Development of Real-Time Systems2000
12