2 results
matthew hennessy.
We develop a version of the pi-calculus, picost, 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 proof methodology for processes […]
Published on March 23, 2011
Daniele Gorla ; Matthew Hennessy ; Vladimiro Sassone.
We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the computing body and the external environment. More precisely, […]
Published on December 20, 2005