A calculus for costed computations
Logic in Computer Science
2019-03-14 v3 Distributed, Parallel, and Cluster Computing
Abstract
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.
Keywords
Cite
@article{arxiv.1011.6308,
title = {A calculus for costed computations},
author = {matthew hennessy},
journal= {arXiv preprint arXiv:1011.6308},
year = {2019}
}