Publications of
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors
In : L’Objet – Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, pp. 83-106, January 2000.
Matthias Colin, Marc Pantel, Xavier Thirioux
Analyse statique de la communication dans un langage d’Acteurs
In : Formalisation des Activités Concurrentes, Toulouse, 12/03/03-13/03/03, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, pp. 1-18, March 2003.
Matthias Colin, Xavier Thirioux, Marc Pantel
Temporal logic based static analysis for non uniform behaviours
In : Formal Methods for Open Object-based Distributed Systems, Paris, 19/11/03-21/11/03, Springer Verlag – LNCS, pp. 94-108, November 2003.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des typages fonctionnels et concurrents d’un langage fonctionnel d’Acteurs
In : Formalisation des Activités Concurrentes, Toulouse, 25/02/99-26/02/99, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, February 1999.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des Typages Fonctionnel et Concurrent d’un Langage Fonctionnel d’Acteurs
In : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/99-02/02/99, INRIA, Collection Didactique, pp. 227-252, February 1999.
Programmation Concurrente et Répartie par Acteurs – Détection de problèmes de vivacité par analyse statique
In : Journées Parallèlisme, Répartition et Objets, Lille, 25/11/99-26/11/99.
Analyse statique de la communication dans un langage d’acteurs fonctionnel
Master’s Thesis, Institut National Polytechnique de Toulouse, 2002.