A Distributed Platform with Features for Supporting Dynamic and Mobile Resources. - Serge Chaumette; Asier Ugarte (HPCN Europe, 2001)

A formal model of the java multi-threading system and its validation on a known problem. - Serge Chaumette; Asier Ugarte (IPDPS, 2001)