dblp.uni-trier.dewww.uni-trier.de

Alistair A. McEwan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEPeter 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
5EEAlistair 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
2EEAlistair 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

Coauthor Index

1Fred R. M. Barnes [6]
2Jan F. Broenink [6]
3Wilson Ifill [5]
4Fiona Polack [6]
5Adam T. Sampson [6]
6Steve A. Schneider (Steve Schneider) [2] [4] [5]
7Susan Stepney [6]
8Gardiner S. Stiles [6]
9Peter H. Welch [5] [6]
10Jim Woodcock (J. C. P. Woodcock) [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)