Counting the cost in the picalculus.
Citation:
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-129Download Item:
Counting.pdf (Published (author's copy) - Peer Reviewed) 119.1Kb
Abstract:
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.
Sponsor
Grant Number
Science Foundation Ireland (SFI)
Author's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHEDReykjavik, Iceland
Author: HENNESSY, MATTHEW
Other Titles:
Proceedings of 1st Interaction and Concurrency Experience (ICE'08) , Electronic Notes in Theoretical Computer Science1st Interaction and Concurrency Experience (ICE'08)
Publisher:
Elsevier Science Publishers B. VType of material:
Conference PaperSeries/Report no:
2293
Availability:
Full text availableKeywords:
Computer science, picalculusSubject (TCD):
Nanoscience & MaterialsDOI:
http://dx.doi.org/10.1016/j.entcs.2009.06.042Licences: