Research

A fully abstract relational model of syntactic control of interference


Reference:

McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. In: Bradfield, J., ed. Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Vol. 2471. Berlin, Germany: Springer, pp. 445-490.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

http://dx.doi.org/10.1007/3-540-45793-3_17

Details

Item Type Book Sections
CreatorsMcCusker, G.
EditorsBradfield, J.
DOI10.1007/3-540-45793-3_17
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code18563
Additional Information16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Export

Actions (login required)

View Item