Light Logics and Higher-Order Processes

Ugo Dal Lago 1, 2 Simone Martini 2, 1 Davide Sangiorgi 3, 1
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Type de document :
Article dans une revue
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (06), pp.969 - 992. 〈10.1017/S0960129514000310〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01400903
Contributeur : Ugo Dal Lago <>
Soumis le : jeudi 15 décembre 2016 - 17:14:10
Dernière modification le : mercredi 10 octobre 2018 - 10:10:16
Document(s) archivé(s) le : mardi 21 mars 2017 - 14:16:58

Fichier

MSCS.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ugo Dal Lago, Simone Martini, Davide Sangiorgi. Light Logics and Higher-Order Processes. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, 26 (06), pp.969 - 992. 〈10.1017/S0960129514000310〉. 〈hal-01400903〉

Partager

Métriques

Consultations de la notice

158

Téléchargements de fichiers

34