| |
| 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 | |
| 1 | Matthew Hennessy | [1] [2] [3] [4] |
| 2 | Alan Jeffrey | [2] [3] |