Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

From Higher Order Pi-Calculus Specification to RMI Implementation

Andreea Barbu 1 Fabrice Mourlin 1 
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00005605
Contributor : Loulergue Frédéric Connect in order to contact the contributor
Submitted on : Friday, June 24, 2005 - 10:41:02 PM
Last modification on : Tuesday, October 19, 2021 - 4:06:40 PM

Identifiers

  • HAL Id : hal-00005605, version 1

Collections

UPEC-UPEM | CNRS | LACL | UPEC

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

36