Publications

Publications de

Numéros spéciaux de revue
  • 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

Recueils des communications

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par