A calculus for costed computations
Citation:
Matthew Hennessy., A calculus for costed computations, Logical Methods in Computer Science, 2011, 1-35Download Item:
calculus.pdf (Published (author's copy) - Peer Reviewed) 334.1Kb
Abstract:
We develop a version of the picalculus 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.
Sponsor
Grant Number
Science Foundation Ireland (SFI)
Author's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHED
Author: HENNESSY, MATTHEW
Type of material:
Journal ArticleSeries/Report no:
Logical Methods in Computer ScienceAvailability:
Full text availableKeywords:
Computer sciences, resources, picalculus, bisimulations, amortisationLicences: