Checking the Serial Correctness of Control-Parallel Programs. - Gilbert Caplain; René Lalement; Thierry Salset (PARLE, 1994)

Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée. - Thierry Salset (1997)