previous up next contents                                RA 1994     RA 1996
Suivant : Table des matières

Projet PARA

Parallélisme

Rapport d'activité 1995

Page WWW du projet

Localisation : Rocquencourt

Mots clefs : parallélisme, parallélisme asynchrone, programmation fonctionnelle, pi-calcul, programmation répartie, tolérance aux fautes, agents mobiles, World Wide Web, concurrence, ramasse-miettes, preuve de programme, démonstration automatique, lambda-calcul