[TYPES] Looking for concurrent imperative core Java calculi

Antonio Ravara <[email protected]>
Newsgroups gmane.comp.science.types
Message-ID <[email protected]> 
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

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/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.