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