Publications de
Aurélie Hurault, Vincent Hennebert, Marc Pantel
Répartition et mobilité en JavAct: une approche dérivée d’un modèle formel
Dans : Langages et Modèles à Objets, Lille, 15/03/04-17/03/04, Editions Hermès, p. 47-61, mars 2004.
Vincent Hennebert, Marc Pantel
Typage de JavAct, Approche dérivée du typage de CAP
Dans : Formalisation des Activités Concurrentes, Toulouse, 09/03/04-10/03/04, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-12, mars 2004.
Vincent Hennebert, Marc Pantel
Typage de comportements non uniformes, Applications à JavAct
Dans : Journées Objets, Composants et Modèles, Lille, 16/03/04.