Précédent :
Présentation du projet
Remonter :
Projet PARA
Suivant :
Programmation distribuée d'ordre
Actions de recherche
Programmation distribuée d'ordre supérieur
Un nouveau modèle de la concurrence
Récupération concurrente de mémoire et preuves mécaniques
Langages de programmation fonctionnels
Substitutions explicites
Systèmes de réductions abstraites
Maintenance des systèmes d'exploitation