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

📧 Request an update