Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing.

Hartonas, Chrysafis and Hennessy, Matthew (1998) Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing. Theoretical Computer Science, 145. pp. 64-106.

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 20:03
Last Modified: 29 Mar 2012 08:19
URI: http://sro.sussex.ac.uk/id/eprint/23811
📧 Request an update