Publications

Publications of

Special issues
  • 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

Proceedings

Department
Publication type
Criteria





Operator   AND   OR
Sort by