Publications by Dr James Armstrong - ePrints

Browsing publications by Dr James Armstrong.

Newcastle Authors	Title	Year
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Metastability in Asynchronous Wait-Free Protocols	2006
Dr James Armstrong	Critical Thinking About 'Critical Thinking'	2004
Dr James Armstrong	Critical Thinking About 'Critical Thinking'	2004
Dr James Armstrong	Danger: Derrida at Work	2004
Dr James Armstrong	Danger: Derrida at Work	2004
Dr James Armstrong	DERIDASC Scientific Background	2004
Dr James Armstrong	DERIDASC Scientific Background	2004
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
Dr James Armstrong	Safe Systems: Construction, Destruction, and Deconstruction	2004
Dr James Armstrong	The Deconstruction of Safety Arguments Through Adversarial Counter-argument	2004
Dr James Armstrong Dr Stephen Paynter	The deconstruction of safety arguments through adversarial counter-argument	2004
Dr James Armstrong Dr Stephen Paynter	The deconstruction of safety arguments through adversarial counter-argument	2004
Dr James Armstrong	Danger: Derrida at work	2003
Dr Stephen Paynter Neil Henderson Dr James Armstrong	Ramifications of Metastability in Bit Variables Explored Via Simpson's 4-Slot Mechanism	2003
Dr James Armstrong Dr Stephen Paynter	Safe Systems: Construction, Destruction, and Deconstruction	2003
Dr James Armstrong	Safe Systems: Construction, Destruction & Deconstruction	2002
Dr Stephen Paynter Dr James Armstrong Jolien Haveman	Exploiting Formality within an Architectural Design Method	2001
Dr James Armstrong Professor Brian Randell Dr Robert Stroud	First Specification of APIs and Protocols for the MAFTIA Middleware	2001
Dr James Armstrong	First Specification of APIs and Protocols for the MAFTIA Middleware	2001
Dr Stephen Paynter Dr James Armstrong Jolien Haveman	ADL: An Activity Description Language for Real Time Networks	2000
Dr Stephen Paynter Dr James Armstrong Jolien Haveman	ADL: An Activity Description Language for Real-Time Networks	2000
Dr James Armstrong	Industrial Integration of Graphical and Formal Specifications	1998
Dr Stephen Paynter Dr James Armstrong	A Transaction Model for Real-Time Systems	1997
Dr James Armstrong	Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example	1996
Dr James Armstrong	The Impact of Inheritance on Software Structure	1996
Dr James Armstrong	Uses and Abuses of Inheritance	1994
Dr James Armstrong	Managing Inheritance on Programming Projects	1993
Dr James Armstrong	The Role of Inheritance as an Import/Export Mechanism	1993