[TYPES] Looking for concurrent imperative core Java calculi

[Antonio Ravara]

Dear all,

I'm looking for references of works with imperative core Java calculi 
modelling thread-based concurrency and lock-based synchronisation.

I've found Johan Östlund and Tobias Wrigstad Welterweight Java, but I 
wonder if there are other and/or more recent works.

Thanks,
antonio
-- 
Antonio Ravara

Member of NOVA-LINCS (URL: nova-lincs.di.fct.unl.pt/)
Assistant Professor at Dep. of Informatics, FCT, Univ. NOVA de Lisboa 
(New University of Lisbon)
Web page: ctp.di.fct.unl.pt/~aravara/