dc.contributor.author | HENNESSY, MATTHEW | en |
dc.date.accessioned | 2011-03-07T14:25:49Z | |
dc.date.available | 2011-03-07T14:25:49Z | |
dc.date.issued | 2011 | en |
dc.date.submitted | 2011 | en |
dc.identifier.citation | Matthew Hennessy., A calculus for costed computations, Logical Methods in Computer Science, 2011, 1-35 | en |
dc.identifier.other | Y | en |
dc.identifier.uri | http://hdl.handle.net/2262/53126 | |
dc.description | PUBLISHED | en |
dc.description.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. | en |
dc.format.extent | 1-35 | en |
dc.language.iso | en | en |
dc.relation.ispartofseries | Logical Methods in Computer Science | en |
dc.rights | Y | en |
dc.subject | Computer sciences | en |
dc.subject | resources | en |
dc.subject | picalculus | en |
dc.subject | bisimulations | en |
dc.subject | amortisation | en |
dc.title | A calculus for costed computations | en |
dc.type | Journal Article | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | en |
dc.identifier.rssinternalid | 71580 | en |
dc.identifier.rssuri | http://www.scss.tcd.ie/Matthew.Hennessy/pubs/buysell.pdf | en |