Computing Publications

Publications Home » A state abstraction for coordinat...

A state abstraction for coordination in Java-like languages

Ferruccio Damiani, Elena Giachino, Paola Giannini, Nicholas Cameron, Sophia Drossopoulou

Conference or Workshop Paper
Formal techniques for Java-like languages
July, 2006
Keywords
SLURP
PDF of full publication (203 kilobytes)
(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.