Type Inference for the receptive distributed Pi-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2002

Type Inference for the receptive distributed Pi-calculus

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-4373.pdf (309.98 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00072215 , version 1 (23-05-2006)

Identifiers

  • HAL Id : inria-00072215 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More