publications on CSP, occam, Handel-C

2003

refereed workshop and conference papers

Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack.
Challenging formal specifications by mutation: a CSP security example .
APSEC-2003: 10th Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 2003 , pp 340-350. IEEE, 2003.

technical reports

Susan Stepney.
CSP/FDR2 to Handel-C translation .
Technical Report YCS-2003-357, University of York. June 2003.

1989

book chapters

Susan Stepney.
Pictorial Representation of Parallel Programs .
In Alistair Kilgour, Rae A. Earnshaw, editors, Graphical Tools for Software Engineering , BCS. CUP, 1989.

1988

refereed workshop and conference papers

Susan Stepney.
Understanding Multi-transputer Execution .
IT UK 88 , University College Swansea, 1988.

1987

refereed workshop and conference papers

Susan Stepney.
GRAIL: Graphical Representation of Activity, Interconnection and Loading .
7th Technical meeting of the occam User Group . IOS Amsterdam, 1987.