René Lalement

According to our database1, René Lalement authored at least 2 papers between 1993 and 1994.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
Checking the Serial Correctness of Control-Parallel Programs.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993
Computation as logic.
Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-770009-7, 1993


  Loading...