Light Logics and Higher-Order Processes

Details Light Logics and Higher-Order Processes Light Logics and Higher-Order Processes

2010-11-30

arxiv.org/abs/1011.6431v1

EPTCS 41, 2010, pp. 46-60

Computer Science

Logic in Computer Science

In Proceedings EXPRESS'10, arXiv:1011.6012

Scientific paper

10.4204/EPTCS.41.4

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.

Affiliated with

Also associated with

No associations

Rating

Light Logics and Higher-Order Processes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Light Logics and Higher-Order Processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Light Logics and Higher-Order Processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-444494