| |
| 2008 | ||
|---|---|---|
| 2 | EE | Cliff B. Jones, Ken G. Pierce: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ 2008: 360-377 |
| 2007 | ||
| 1 | EE | Cliff B. Jones, Ken G. Pierce: What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS 2007: 300-306 |
| 1 | Cliff B. Jones | [1] [2] |