A Theory of Weak Bisimulation for Core CML.

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