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.