Gilles Kahn
Œuvres (4)
Coroutines and networks of parallel processes
Coroutines and networks of parallel processes
1976
Construction, amélioration et vérification de programmes =
Construction, amélioration et vérification de programmes =
1975
A Preliminary theory for parallel programs
A Preliminary theory for parallel programs
1973
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples
1973