Correctness of Automated Distribution of Sequential Programs. - Cyrille Bareau; Benoît Caillaud; Claude Jard; René Thoraval (PARLE, 1993)

Measuring Concurrency of Regular Distributed Computations. - Cyrille Bareau; Benoît Caillaud; Claude Jard; René Thoraval (TAPSOFT, 1995)

A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. - Christophe Mauras; René Thoraval (JFPLC, 1999)