Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Ugo Dal Lago Connect in order to contact the contributor
Submitted on : Thursday, December 15, 2016 - 5:14:10 PM
Last modification on : Friday, July 8, 2022 - 10:10:17 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 2:16:58 PM


Files produced by the author(s)




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⟩



Record views


Files downloads