Isabelle Attali Denis Caromel Marjorie Russo Une sémantique formelle de la concurrence en Java. 115-132 2002 8 L'OBJET 1-2 http://objet.revuesonline.com/article.jsp?articleId=139 db/journals/Lobjet/Lobjet8.html#AttaliCR02