Find information:

[5-11]A resource-aware picalculus

Date:2009-05-04

Title:A resource-aware picalculus
Speaker:Professor Matthew Hennessy
    Trinity College Dublin

Time:3pm, May 11
Venue:Lecture room, State Key Lab of Computer Science, Level 3 Building #5

 

Abstract
We develop a version of the picalculus 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 behavioural theory based on bisimulations and demonstrate its usefulness via a series of examples. We also justify the theory via a contextual characterisation.