A resource-aware picalculus

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.