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