[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.