Light Logics and Higher-Order Processes

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object , Other literature type 28 Nov 2010Embargo end date: 01 Jan 2010 Italy, France English Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 41, pages 46-60 (eissn: 2075-2180,

Copyright policy )

Authors: DAL LAGO, UGO; MARTINI, SIMONE; SANGIORGI, DAVIDE;

doi: 10.4204/eptcs.41.4 , 10.1017/s0960129514000310 , 10.48550/arxiv.1011.6431

arXiv: 1011.6431

handle: 11585/560678 , 11585/96547

Light Logics and Higher-Order Processes

- Summary
- Subjects
- Metrics

Abstract

We show that the techniques for resource control that have been developed by the so-calledlight logicscan 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.

Countries

Italy, France

Related Organizations

Keywords

FOS: Computer and information sciences, IMPLICIT COMPUTATIONAL COMPLEXITY; CONCURRENCY THEORY; PI-CALCULUS; LINEAR LOGIC, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science - Programming Languages, Programming languages; Implicit computational complexity; Linear logic; Process algebra, Proof-theoretic aspects of linear logic and other substructural logics, QA75.5-76.95, Logic in Computer Science (cs.LO), Electronic computers. Computer science, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), QA1-939, F.4.1, Mathematics, Programming Languages (cs.PL)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	11
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%