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
PDF of full publication (203 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.