Esiti della ricerca
Digita i termini da ricercare in tutto l'archivio:

A linear account of session types in the pi calculus

Giunti, Marco - Vasconcelos, Vasco Thudichum (2010) A linear account of session types in the pi calculus. In: 21st International Conference on Concurrency Theory (CONCUR 2010), 2010, 31 Agoust - 4 Semptember , Paris. (In pubblicazione)

full text

[img]
Anteprima
Documento PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
195Kb

URL ufficiale: http://concur2010.inria.fr/

Abstract

We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are guaranteed to occur in exactly one thread, possibly multiple times. We equip types with a constructor that denotes the two ends of a same communication channel. In order to assess the flexibility of the new type system, we provide three distinct encodings (from the linear lambda calculus, from the linear pi calculus, and from the pi calculus with polarized variables) into our system. For each language we present operational and typing correspondences, showing that our system effectively subsumes the linear pi calculus as well as foregoing works on session types.

Tipologia del documento:Documento relativo ad un convegno o workshop (Paper)
Parole chiave:session types, linearity, pi calculus
Soggetti:Area 01 - Scienze matematiche e informatiche > INF/01 Informatica
Struttura:Dipartimenti > Dp Pianificazione (soppresso)
Codice ID:146
Depositato da :Marco Giunti
Depositato il :05 Lug 2010 10:34
Ultima modifica:05 Lug 2010 10:34

Solo per Staff dell'archivio: Gestione del Documento