Isabelle Attali, Denis Caromel, Marjorie Russo. Une sémantique formelle de la concurrence en Java. L OBJET, 8(1-2):115-132, 2002. [doi]
@article{AttaliCR02,
title = {Une sémantique formelle de la concurrence en Java},
author = {Isabelle Attali and Denis Caromel and Marjorie Russo},
year = {2002},
url = {http://objet.revuesonline.com/article.jsp?articleId=139},
tags = {Java},
researchr = {https://researchr.org/publication/AttaliCR02},
cites = {0},
citedby = {0},
journal = {L OBJET},
volume = {8},
number = {1-2},
pages = {115-132},
}