| |
| 2006 | ||
|---|---|---|
| 4 | EE | Stephen Paynter, Neil Henderson, James M. Armstrong: Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55(3): 292-303 (2006) |
| 2004 | ||
| 3 | EE | James M. Armstrong, Stephen Paynter: The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. SAFECOMP 2004: 3-16 |
| 2 | EE | 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 | EE | Stephen Paynter, James M. Armstrong, Jan Haveman: ADL: An Activity Description Language for Real-Time Networks. Formal Asp. Comput. 12(2): 120-144 (2000) |
| 1 | Jan Haveman | [1] |
| 2 | Neil Henderson | [2] [4] |
| 3 | Stephen Paynter | [1] [2] [3] [4] |