Computing Publications

Publications Home » Type Systems for Coordination Languages

Type Systems for Coordination Languages

Haoxuan (Max) Cai

PhD Thesis
Imperial College
June, 2012
PDF of full publication (1.5 megabytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.