Computing Publications

Publications Home » A type safe state abstraction for...

A type safe state abstraction for coordination in Java -like languages

Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou

Journal Article
Acta Informatica
Acta
October, 2008
Springer Verlag
ISSN 0001-5903
DOI 10.1007/s00236-008-0079-y
BibTEX file for the publication
 

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