James M. Armstrong

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
j4		James M. Armstrong, Stephen Paynter: The deconstruction of safety arguments through adversarial counter-argument. Rel. Eng. & Sys. Safety 92(11): 1551-1562 (2007)
	2006
j3		Stephen Paynter, Neil Henderson, James M. Armstrong: Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55(3): 292-303 (2006)
	2004
j2		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)
c1		James M. Armstrong, Stephen Paynter: The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. SAFECOMP 2004: 3-16
	2000
j1		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

Last update Sat May 18 14:52:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page