James M. Armstrong

According to our database, James M. Armstrong authored at least 5 papers between 1994 and 2007.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2007

The deconstruction of safety arguments through adversarial counter-argument.

James M. Armstrong, Stephen Paynter

Reliab. Eng. Syst. Saf., 2007

2006

Metastability in Asynchronous Wait-Free Protocols.

Stephen Paynter, Neil Henderson, James M. Armstrong

IEEE Trans. Computers, 2006

2004

Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism.

Stephen Paynter, Neil Henderson, James M. Armstrong

Formal Aspects Comput., 2004

2000

ADL: An Activity Description Language for Real-Time Networks.

Stephen Paynter, James M. Armstrong, Jan Haveman

Formal Aspects Comput., 2000

1994

Uses and abuses of inheritance.

James M. Armstrong, Richard J. Mitchell

Softw. Eng. J., 1994