René Thoraval

Publication Activity (10 Years)

Years Active: 1993-1999
Publications (10 Years): 0

Publications

Christophe Mauras, René Thoraval
A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. JFPLC (1999)
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
Measuring Concurrency of Regular Distributed Computations. TAPSOFT (1995)
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
Correctness of Automated Distribution of Sequential Programs. PARLE (1993)