A calculus for costed computations

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 d...

Full description

Saved in:
Bibliographic Details
Published inLogical methods in computer science Vol. 7, Issue 1
Main Author hennessy, matthew
Format Journal Article
LanguageEnglish
Published Logical Methods in Computer Science e.V 01.01.2011
Subjects
computer science - distributed, parallel, and cluster computing
computer science - logic in computer science
cs.dc
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:1860-5974
1860-5974
DOI:10.2168/LMCS-7(1:7)2011