A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is split in two parts: a computing body, and a membrane which regulates the interactions between the computing body and the external environment. More precisely, membranes are filters to control access to the associated site, and rely also on the well-established notions of trust between sites and proof-carrying code. We develop a basic theory to express anddoi:10.1016/j.entcs.2005.05.003 fatcat:5ijfj6ik7javnamsjttmqkefjy