| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 6 |      | Stephen Paynter, Neil Henderson, James M. Armstrong: Metastability in Asynchronous Wait-Free Protocols. IEEE Trans. Computers 55(3): 292-303 (2006) |
| 2004 | ||
| 5 | | 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) |
| 2003 | ||
| 4 | | Neil Henderson: Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. FME 2003: 244-263 |
| 2002 | ||
| 3 | | Neil Henderson, Stephen Paynter: The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism. FME 2002: 350-369 |
| 2000 | ||
| 2 |  | Neil Henderson, Pieter H. Hartel: Pressure Sequence - A Novel Method of Protecting Smart Cards. CARDIS 2000: 241-256 |
| 1999 | ||
| 1 | | Sakaki Morishita, Neil Henderson: Homotopy and Intellectual Property. Computer Graphics International 1999: 156- |
| 1 | James M. Armstrong | [5] [6] |
| 2 | Pieter H. Hartel | [2] |
| 3 | Sakaki Morishita | [1] |
| 4 | Stephen Paynter | [3] [5] [6] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page