Tools
Ferreira, William, Hennessy, Matthew and Jeffrey, Alan (1998) A Theory of Weak Bisimulation for Core CML. Journal of Functional Programming, 8. pp. 447-491.
Full text not available from this repository.Item Type: | Article |
---|---|
Schools and Departments: | School of Engineering and Informatics > Informatics |
Depositing User: | Matthew Hennessy |
Date Deposited: | 06 Feb 2012 18:41 |
Last Modified: | 27 Mar 2012 10:02 |
URI: | http://sro.sussex.ac.uk/id/eprint/17748 |