publications on CSP, occam, Handel-C

2003

refereed workshop and conference papers

technical reports

1989

book chapters

1988

refereed workshop and conference papers

1987

refereed workshop and conference papers