| |
| 1999 | ||
|---|---|---|
| 3 | Christophe Mauras, René Thoraval: A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. JFPLC 1999: 39-54 | |
| 1995 | ||
| 2 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval: Measuring Concurrency of Regular Distributed Computations. TAPSOFT 1995: 711-725 | |
| 1993 | ||
| 1 | Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval: Correctness of Automated Distribution of Sequential Programs. PARLE 1993: 517-528 | |
| 1 | Cyrille Bareau | [1] [2] |
| 2 | Benoît Caillaud | [1] [2] |
| 3 | Claude Jard | [1] [2] |
| 4 | Christophe Mauras | [3] |