Types for resources in φ-calculi

Hans Hüttel*

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

5 Citationer (Scopus)

Abstract

Several type systems have been proposed for characterizing resource usage in process calculi, starting with the work on linear and unbounded names in the -calculus by Kobayashi, Pierce and Turner. In this paper we use the general framework of -calculi proposed by Bengtson, Parrow et al. to provide a general theory of type systems of this kind. We present a general type system that allows for a subject reduction property generalizing that of Kobayashi et al. and show how existing, quite different type systems for resource control can be expressed within our general type system. These are the original type system for linear names in the -calculus, the graph types for strong normalization in the -calculus due to Honda, Yoshida and Berger, a type system for termination in a value-passing calculus due to Deng and Sangiorgi and a type system for allocation and deallocation of generated names due to de Vries, Francalanza and Hennessy.

OriginalsprogEngelsk
TitelLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Antal sider20
Vol/bind8358 LNCS
ForlagSpringer
Publikationsdato1 jan. 2014
Sider83-102
ISBN (Trykt)9783319051185
DOI
StatusUdgivet - 1 jan. 2014
Begivenhed8th International Symposium on Trustworthy Global Computing - Buenos Aires, Argentina
Varighed: 30 aug. 201331 aug. 2013
Konferencens nummer: 8th

Konference

Konference8th International Symposium on Trustworthy Global Computing
Nummer8th
Land/OmrådeArgentina
ByBuenos Aires
Periode30/08/201331/08/2013
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind8358 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Types for resources in φ-calculi'. Sammen danner de et unikt fingeraftryk.

Citationsformater