Publications

Publications de

Articles dans des revues nationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture
  • 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.

    BibTeX

  • 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.

    BibTeX

  • Fabien Dagnat, Marc Pantel, Patrick Sallé

    ML-Act, un langage fonctionnel d’Acteurs

    Dans : Journéee Francophone des Langages Applicatifs, Côme, 02/02/98-03/02/98, INRIA, Collection didactique, février 1998.

    BibTeX

Conférences sans actes publiés
  • Fabien Dagnat, Marc Pantel

    Programmation Concurrente et Répartie par Acteurs – Vérification statique de programmes répartis

    Dans : Journées Parallèlisme, Répartition et Objets, Toulouse, 15/03/01-16/03/01.

    BibTeX

Thèses et habilitations
  • Fabien Dagnat

    Vérification statique de programmes répartis

    Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2001.

    BibTeX

  • Fabien Dagnat

    Vérification statique de programmes répartis

    Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2001.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant