From Higher Order Pi-Calculus Specification to RMI Implementation - Archive ouverte HAL
Conference Papers Year : 2003

From Higher Order Pi-Calculus Specification to RMI Implementation

Loulergue Frédéric  : Connect in order to contact the contributor

https://hal.science/hal-00005605

Submitted on : Friday, June 24, 2005-10:41:02 PM

Last modification on : Friday, March 24, 2023-2:52:47 PM

No file

Dates and versions

hal-00005605 , version 1 (24-06-2005)

Identifiers

  • HAL Id : hal-00005605 , version 1

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
49 View
0 Download

Share

More