| 2000 |
|---|
| 5 | | William Ferreira,
Matthew Hennessy,
Alan Jeffrey:
Combining the typed lambda-calculus with CCS.
Proof, Language, and Interaction 2000: 511-534 |
| 1999 |
|---|
| 4 | EE | William Ferreira,
Matthew Hennessy:
A Behavioural Theory of First-Order CML.
Theor. Comput. Sci. 216(1-2): 55-107 (1999) |
| 1998 |
|---|
| 3 | | William Ferreira,
Matthew Hennessy,
Alan Jeffrey:
A Theory of Weak Bisimulation for Core CML.
J. Funct. Program. 8(5): 447-491 (1998) |
| 1996 |
|---|
| 2 | | William Ferreira,
Matthew Hennessy,
Alan Jeffrey:
A Theory of Weak Bisimulation for Core CML.
ICFP 1996: 201-212 |
| 1995 |
|---|
| 1 | | William Ferreira,
Matthew Hennessy:
Towards a Semantic Theory of CML (Extended Abstract).
MFCS 1995: 454-466 |
