René Thoraval

	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

Coauthor Index

1	Cyrille Bareau	[1] [2]
2	Benoît Caillaud	[1] [2]
3	Claude Jard	[1] [2]
4	Christophe Mauras	[3]

Colors in the list of coauthors