Light Logics and Higher-Order Processes

Ugo Dal Lago 1, 2 Simone Martini 1, 2 Davide Sangiorgi 2, 1
2 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 in the so-called "light logics" can be fruitfully applied also to process algebras. In particular, we present a restriction of Higher-Order pi-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.
Document type :
Journal articles
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013
Liste complète des métadonnées

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00909315
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 10:46:31 AM
Last modification on : Saturday, January 27, 2018 - 1:32:20 AM
Document(s) archivé(s) le : Monday, March 3, 2014 - 4:11:39 PM

File

mscs2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00909315, version 1

Collections

Citation

Ugo Dal Lago, Simone Martini, Davide Sangiorgi. Light Logics and Higher-Order Processes. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013. 〈hal-00909315〉

Share

Metrics

Record views

251

Files downloads

103