Institutions | About Us | Help | Gaeilge
rian logo


Mark
Go Back
Counting the cost in the picalculus.
HENNESSY, MATTHEW
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.
Keyword(s): Computer science; picalculus; Nanoscience & Materials
Publication Date:
2009
Type: Conference item
Peer-Reviewed: Yes
Language(s): English
Institution: Trinity College Dublin
Citation(s): 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
Publisher(s): Elsevier Science Publishers B. V
Alternative Title(s): Proceedings of 1st Interaction and Concurrency Experience (ICE'08) , Electronic Notes in Theoretical Computer Science -1st Interaction and Concurrency Experience (ICE'08)
First Indexed: 2014-05-13 05:48:29 Last Updated: 2015-07-15 05:20:51