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

Projet MEIJE

Parallélisme, synchronisation et temps-réel

Rapport d'activité 1995

Page WWW du projet

Localisation : Sophia-Antipolis

Mots clefs : MEIJE, concurrence, coopération, réactivité, synchronisation, langage fonctionnel, sémantique, langage synchrone, temps réel, parallélisme asynchrone, vérification de programme