James M. Armstrong

	2006
4		Stephen Paynter, Neil Henderson, James M. Armstrong: Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55(3): 292-303 (2006)
	2004
3		James M. Armstrong, Stephen Paynter: The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. SAFECOMP 2004: 3-16
2		Stephen Paynter, Neil Henderson, James M. Armstrong: Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. Formal Asp. Comput. 16(4): 332-351 (2004)
	2000
1		Stephen Paynter, James M. Armstrong, Jan Haveman: ADL: An Activity Description Language for Real-Time Networks. Formal Asp. Comput. 12(2): 120-144 (2000)

Coauthor Index

1	Jan Haveman	[1]
2	Neil Henderson	[2] [4]
3	Stephen Paynter	[1] [2] [3] [4]