[ 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/
