René Thoraval

According to our database, René Thoraval authored at least 3 papers between 1993 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes.

Christophe Mauras, René Thoraval

Proceedings of the JFPLC'99, 1999

1995

Measuring Concurrency of Regular Distributed Computations.

Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1993

Correctness of Automated Distribution of Sequential Programs.

Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval

Proceedings of the PARLE '93, 1993