Seminaire Oasis

Ludovic Henrio

Projet Oasis, INRIA Sophia-Antipolis

Mardi 20 nov 2001, 14h, salle du conseil

Titre : Le calcul ASP: une modélisation de Proactive
Résumé :
Nous avons conçu un calcul (ASP, Asynchronous Sequential Processes) qui a pour but de capturer les traits principaux du modèle Proactive. Notre calcul est basé sur un sigma calcul impératif à la Abadi-Cardelli. Ce calcul modèlise à la fois l'activation d'objets, l'appel de méthode sur des objets actifs et le retour de paramètres comme futurs ce qui donne un aspect paresseux au calcul. Nous avons démontré que, sous certaines hypothèses, ce calcul peut être confluent. Nous obtenons ainsi une certaine forme de déterminisme du calcul. Retour au sommaire / Back to schedule
Eric Madelaine
Last modified: Fri Sep 14 15:21:44 MEST 2001