 | 2008 |
|---|
| 6 |       | Peter H. Welch,
Susan Stepney,
Fiona Polack,
Fred R. M. Barnes,
Alistair A. McEwan,
Gardiner S. Stiles,
Jan F. Broenink,
Adam T. Sampson:
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008
IOS Press 2008 |
| 2007 |
|---|
| 5 | | Alistair A. McEwan,
Steve A. Schneider,
Wilson Ifill,
Peter H. Welch:
The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007
IOS Press 2007 |
| 4 |  | Alistair A. McEwan,
Steve Schneider:
Modeling and Analysis of the AMBA Bus Using CSP and B.
CPA 2007: 379-398 |
| 2006 |
|---|
| 3 | | Alistair A. McEwan:
A Circus Development and Verification of an Internet Packet Filter.
CPA 2006: 339-362 |
| 2 | | Alistair A. McEwan,
Steve Schneider:
A verified development of hardware using CSP/spl par/B.
MEMOCODE 2006: 81 |
| 2004 |
|---|
| 1 | | Alistair A. McEwan,
J. C. P. Woodcock:
A refinement based approach to calculating a fault tolerant railway signal device.
IFIP Congress Topical Sessions 2004: 621-628 |
