Publications

Publications de Jean-Paul BAHSOUN

Articles dans des revues internationales 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 Conférences sans actes publiés Livres (monographies) Rédaction d’ouvrages de synthèse Rédaction de numéros spéciaux de revues
  • Jean-Paul Bahsoun, J. Fiadeiro, D. Galmiche

    Proof Theory of Concurrent Object-Oriented Programming

    Dans : MSCS – Mathematical Structures in Computer Science, Giuseppe Longo Cambridge University Press, Laboratoire d’Informatique(CNRS) et DMI ENS 4(, Rue d’ULM 75005 Paris France, Vol. 9, juin 1999.

    BibTeX

Rédaction d’actes de conférences et de workshops Contributions à des ouvrages de synthèse Rapports Thèses et habilitations
  • Jean-Paul Bahsoun

    Les Objets Concurrents et leurs Systèmes de Preuve

    Habilitation à diriger des recherches, Université Paul Sabatier, décembre 1994.

    BibTeX

Départements
Type de publication
Critères





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