Counting the cost in the picalculus.
PUBLISHED Reykjavik, Iceland We design a new variation on the picalculus, ?cost, in which the use of channels or resources must be paid for. Processes operate relative to a cost environment, and communications can only happen if principals have provided sufficient funds for the channels associated w...
Published in: | Electronic Notes in Theoretical Computer Science |
---|---|
Main Author: | |
Format: | Conference Object |
Language: | English |
Published: |
Elsevier Science Publishers B. V
2009
|
Subjects: | |
Online Access: | http://hdl.handle.net/2262/53335 http://people.tcd.ie/mcbhenne https://doi.org/10.1016/j.entcs.2009.06.042 |
id |
fttrinitycoll:oai:tara.tcd.ie:2262/53335 |
---|---|
record_format |
openpolar |
spelling |
fttrinitycoll:oai:tara.tcd.ie:2262/53335 2023-05-15T16:49:50+02:00 Counting the cost in the picalculus. Proceedings of 1st Interaction and Concurrency Experience (ICE'08) , Electronic Notes in Theoretical Computer Science 1st Interaction and Concurrency Experience (ICE'08) HENNESSY, MATTHEW 2009 117-129 http://hdl.handle.net/2262/53335 http://people.tcd.ie/mcbhenne https://doi.org/10.1016/j.entcs.2009.06.042 en eng Elsevier Science Publishers B. V 229 3 Matthew Hennessy and Manish Gaur., Counting the cost in the picalculus., Proceedings of 1st Interaction and Concurrency Experience (ICE'08), Electronic Notes in Theoretical Computer Science, 1st Interaction and Concurrency Experience (ICE'08), Reykjavik, Iceland, July 2008, 229, 3, Elsevier Science Publishers B. V, 2009, 117-129 Y http://hdl.handle.net/2262/53335 http://people.tcd.ie/mcbhenne 71582 http://dx.doi.org/10.1016/j.entcs.2009.06.042 Y Computer science picalculus Nanoscience & Materials Conference Paper scholarly_publications refereed_publications 2009 fttrinitycoll https://doi.org/10.1016/j.entcs.2009.06.042 2020-02-16T13:51:42Z PUBLISHED Reykjavik, Iceland We design a new variation on the picalculus, ?cost, in which the use of channels or resources must be paid for. Processes operate relative to a cost environment, and communications can only happen if principals have provided sufficient funds for the channels associated with the communications. We define a bisimulation-based behavioural preorder in which two processes are related if, intuitively, they exhibit the same behaviour but one may be more efficient than the other. We justify our choice of preorder by proving that it is characterised by three intuitive properties which behavioural preorders should satisfy in a framework in which the use of resources must be funded. This work is a part of the doctoral studies of the second author and is supported by Commonwealth Scholarship Commission UK (Ref: INCS-2005-145). The support of SFI, Ireland is also acknowledged. Conference Object Iceland The University of Dublin, Trinity College: TARA (Trinity's Access to Research Archive) Electronic Notes in Theoretical Computer Science 229 3 117 129 |
institution |
Open Polar |
collection |
The University of Dublin, Trinity College: TARA (Trinity's Access to Research Archive) |
op_collection_id |
fttrinitycoll |
language |
English |
topic |
Computer science picalculus Nanoscience & Materials |
spellingShingle |
Computer science picalculus Nanoscience & Materials HENNESSY, MATTHEW Counting the cost in the picalculus. |
topic_facet |
Computer science picalculus Nanoscience & Materials |
description |
PUBLISHED Reykjavik, Iceland We design a new variation on the picalculus, ?cost, in which the use of channels or resources must be paid for. Processes operate relative to a cost environment, and communications can only happen if principals have provided sufficient funds for the channels associated with the communications. We define a bisimulation-based behavioural preorder in which two processes are related if, intuitively, they exhibit the same behaviour but one may be more efficient than the other. We justify our choice of preorder by proving that it is characterised by three intuitive properties which behavioural preorders should satisfy in a framework in which the use of resources must be funded. This work is a part of the doctoral studies of the second author and is supported by Commonwealth Scholarship Commission UK (Ref: INCS-2005-145). The support of SFI, Ireland is also acknowledged. |
format |
Conference Object |
author |
HENNESSY, MATTHEW |
author_facet |
HENNESSY, MATTHEW |
author_sort |
HENNESSY, MATTHEW |
title |
Counting the cost in the picalculus. |
title_short |
Counting the cost in the picalculus. |
title_full |
Counting the cost in the picalculus. |
title_fullStr |
Counting the cost in the picalculus. |
title_full_unstemmed |
Counting the cost in the picalculus. |
title_sort |
counting the cost in the picalculus. |
publisher |
Elsevier Science Publishers B. V |
publishDate |
2009 |
url |
http://hdl.handle.net/2262/53335 http://people.tcd.ie/mcbhenne https://doi.org/10.1016/j.entcs.2009.06.042 |
genre |
Iceland |
genre_facet |
Iceland |
op_relation |
229 3 Matthew Hennessy and Manish Gaur., Counting the cost in the picalculus., Proceedings of 1st Interaction and Concurrency Experience (ICE'08), Electronic Notes in Theoretical Computer Science, 1st Interaction and Concurrency Experience (ICE'08), Reykjavik, Iceland, July 2008, 229, 3, Elsevier Science Publishers B. V, 2009, 117-129 Y http://hdl.handle.net/2262/53335 http://people.tcd.ie/mcbhenne 71582 http://dx.doi.org/10.1016/j.entcs.2009.06.042 |
op_rights |
Y |
op_doi |
https://doi.org/10.1016/j.entcs.2009.06.042 |
container_title |
Electronic Notes in Theoretical Computer Science |
container_volume |
229 |
container_issue |
3 |
container_start_page |
117 |
op_container_end_page |
129 |
_version_ |
1766040013261242368 |