James M. Armstrong

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

Collaborative distances:

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

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

The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.

James M. Armstrong, Stephen Paynter

Proceedings of the Computer Safety, 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