hennessy, matthew - A calculus for costed computations

lmcs:1135 - Logical Methods in Computer Science, March 23, 2011, Volume 7, Issue 1
A calculus for costed computations

Authors: hennessy, matthew

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.


Source : oai:arXiv.org:1011.6308
DOI : 10.2168/LMCS-7(1:7)2011
Volume: Volume 7, Issue 1
Published on: March 23, 2011
Submitted on: July 30, 2009
Keywords: Computer Science - Logic in Computer Science,Computer Science - Distributed, Parallel, and Cluster Computing,cs.DC


Share

Consultation statistics

This page has been seen 106 times.
This article's PDF has been downloaded 81 times.