Type Inference for the receptive distributed Pi-calculus

Cédric Lhoussaine 1
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : In this paper we study the type inference problem for an extended version of the type system of d_1^r very closed to the one of Hennessy and Riely's d. These are distributed Pi-calculus involving explicit notions of locations and migration where the location space is flat and communication is local. Moreover, location names are typed and we use an explicit subtyping relation over location types that enable us to define a notion of principal typing. We provide an inference type algorithm computing a principal type for all typable term.
Document type :
Reports
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00072215
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 8:07:40 PM
Last modification on : Wednesday, December 18, 2019 - 5:20:26 PM
Long-term archiving on: Sunday, April 4, 2010 - 10:58:46 PM

Identifiers

  • HAL Id : inria-00072215, version 1

Citation

Cédric Lhoussaine. Type Inference for the receptive distributed Pi-calculus. RR-4373, INRIA. 2002. ⟨inria-00072215⟩

Share

Metrics

Record views

190

Files downloads

196