Light Logics and Higher-Order ProcessesReport as inadecuate




Light Logics and Higher-Order Processes - Download this document for free, or read online. Document in PDF available to download.

1 DISI - Dipartimento di Scienze dell-Informazione Bologna 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.





Author: Ugo Dal Lago - Simone Martini - Davide Sangiorgi -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents