Publications by Neil Henderson - ePrints

Browsing publications by Neil Henderson.

Newcastle Authors	Title	Year
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Metastability in Asynchronous Wait-Free Protocols	2006
Neil Henderson Dr Stephen Paynter	Real-time Interactions: An Abstract Notation for Specifying and Analysing the Timing Properties of Real-time Systems	2006
Neil Henderson	[PhD Thesis] Formal Modelling and Analysis of an Asynchronous Communication Mechanism	2005
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Metastability in Asynchronous Wait-Free Protocols	2004
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism	2004
Neil Henderson	Proving the Correctness of Simpson's 4-slot ACM Using An Assertional Rely-Guarantee Proof Method	2003
Neil Henderson	Proving the correctness of Simpson's 4-slot ACM using an assertional rely-guarantee proof method	2003
Neil Henderson	Proving the Correctness of Simpson's 4-slot ACM Using An Assertional Rely-Guarantee proof method	2003
Neil Henderson	Proving the Correctness of Simpson's 4-slot ACM Using an Assertional Rely-Guarantee Proof Method	2003
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Ramifications of Metastability in Bit Variables Explored Via Simpson's 4-Slot Mechanism	2003
Neil Henderson Dr Stephen Paynter	The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism	2002
Neil Henderson Dr Stephen Paynter	The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism	2002
Neil Henderson	Introducing Real-time Interactions	2001
Neil Henderson	A Systematic Approach for Development of Reactive Real-Time Systems	2000
Neil Henderson	A Systematic Method for Development of Real-Time Systems	2000
Neil Henderson	A Systematic Method for Development of Real-Time Systems	2000