Title: A resource-aware picalculus

Speaker:Professor Matthew Hennessy£¨Trinity College Dublin£©

Time:3£º00pm, Monday£¬May 11

Venue:Lecture Room,State Key Lab of Computer Science, Level 3 Building #5, Institute of Software, CAS

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.