A calculus for costed computations

Details A calculus for costed computations A calculus for costed computations

2010-11-29

arxiv.org/abs/1011.6308v3

LMCS 7 (1:5) 2011

Computer Science

Logic in Computer Science

Scientific paper

10.2168/LMCS-7(1:5)2011

We develop a version of the pi-calculus, picost, where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of owners; they must pay to use resources, but may profit by providing them. We provide a proof methodology for processes described in picost based on bisimulations. The underlying behavioural theory is justified via a contextual characterisation. We also demonstrate its usefulness via examples.

Affiliated with

Also associated with

No associations

Rating

A calculus for costed computations 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 A calculus for costed computations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A calculus for costed computations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-221444