James M. Armstrong

Publication Activity (10 Years)

Years Active: 1994-2007
Publications (10 Years): 0

Publications

James M. Armstrong, Stephen Paynter
The deconstruction of safety arguments through adversarial counter-argument. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Stephen Paynter, Neil Henderson, James M. Armstrong
Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55 (3) (2006)
James M. Armstrong, Stephen Paynter
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. SAFECOMP (2004)
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)
Stephen Paynter, James M. Armstrong, Jan Haveman
ADL: An Activity Description Language for Real-Time Networks. Formal Aspects Comput. 12 (2) (2000)
James M. Armstrong, Richard J. Mitchell
Uses and abuses of inheritance. Softw. Eng. J. 9 (1) (1994)