From Higher Order Pi-Calculus Specification to RMI Implementation

Andreea Barbu 1 Fabrice Mourlin 1
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Type de document :
Communication dans un congrès
2003, pp.?-?, 2003
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00005605
Contributeur : Loulergue Frédéric <>
Soumis le : vendredi 24 juin 2005 - 22:41:02
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-00005605, version 1

Collections

LACL | UPEC | UPEC-UPEM

Citation

Andreea Barbu, Fabrice Mourlin. From Higher Order Pi-Calculus Specification to RMI Implementation. 2003, pp.?-?, 2003. 〈hal-00005605〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

65

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD