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
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Free and accessible knowledge
Home
Submit
Browse
Last submissions
By publication type
By subject
By publication date
By structure
HAL repositories
Search
Documentation
hal-00005605, version 1
Conference papers
From Higher Order Pi-Calculus Specification to RMI Implementation
Andreea Barbu
1
Fabrice Mourlin
1
Details
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
Andreea Barbu
1
Author
Fabrice Mourlin
1
Author
1
LACL - Laboratoire d'Algorithmique Complexité et Logique
(Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
StructId : 1662
UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12
(61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
StructId : 420786
CNRS - Centre National de la Recherche Scientifique
: FRE2673
(France)
StructId : 441569
Hide details
Document type
:
Conference papers
Complete list of metadata
Display
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