合作交流 / 学术报告

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.