| * | 2008 |
|---|
| 8 | EE | Richard Banach,
Czeslaw Jeske,
Michael Poppleton:
Composition mechanisms for retrenchment.
J. Log. Algebr. Program. 75(2): 209-229 (2008) |
| 2007 |
|---|
| 7 | EE | Richard Banach,
Czeslaw Jeske,
Anthony Hall,
Susan Stepney:
Retrenchment and the Atomicity Pattern.
SEFM 2007: 37-46 |
| 6 | EE | Richard Banach,
Czeslaw Jeske,
Michael Poppleton,
Susan Stepney:
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.
Fundam. Inform. 77(1-2): 29-69 (2007) |
| 5 | EE | Richard Banach,
Michael Poppleton,
Czeslaw Jeske,
Susan Stepney:
Engineering and theoretical underpinnings of retrenchment.
Sci. Comput. Program. 67(2-3): 301-329 (2007) |
| 2006 |
|---|
| 4 | EE | Richard Banach,
Michael Poppleton,
Czeslaw Jeske,
Susan Stepney:
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.
ISoLA 2006: 82-90 |
| 2005 |
|---|
| 3 | EE | Richard Banach,
Michael Poppleton,
Czeslaw Jeske,
Susan Stepney:
Retrenchment and the Mondex Electronic Purse.
Abstract State Machines 2005: 41-48 |
| 2 | EE | Richard Banach,
Michael Poppleton,
Czeslaw Jeske,
Susan Stepney:
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.
FM 2005: 382-398 |
| 2002 |
|---|
| 1 | EE | Czeslaw Jeske,
Richard Banach:
Minimally and Maximally Abstract Retrenchments.
IFM 2002: 380-400 |
