Light Logics and Higher-Order Processes - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2016

Light Logics and Higher-Order Processes

Résumé

We show that the techniques for resource control that have been developed by the so-called light logics can be fruitfully applied also to process algebras. In particular, we present a restriction of higher-order π-calculus inspired by soft linear logic. We prove that any soft process terminates in polynomial time. We argue that the class of soft processes may be naturally enlarged so that interesting processes are expressible, still maintaining the polynomial bound on executions.
Fichier principal
Vignette du fichier
MSCS.pdf (419.82 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01400903 , version 1 (15-12-2016)

Identifiants

Citer

Ugo Dal Lago, Simone Martini, Davide Sangiorgi. Light Logics and Higher-Order Processes. Mathematical Structures in Computer Science, 2016, 26 (06), pp.969 - 992. ⟨10.1017/S0960129514000310⟩. ⟨hal-01400903⟩
205 Consultations
157 Téléchargements

Altmetric

Partager

More