Bibtex de la publication

@Article{ DaPaCoSa2000.1,
author = {Dagnat, Fabien and Pantel, Marc and Colin, Matthias and Sallé, Patrick},
title = "{Typing Concurrent Objects and Actors}",
journal = {L'Objet - Méthodes formelles pour les objets},
publisher = {Hermès},
year = {2000},
month = {janvier},
volume = {6},
number = {1},
pages = {83--106},
keywords = {EquipeIAM}
}