Search

• < Previous
• 1
• Next >

---

Security Policies as Membranes in Systems for Global Computing

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,&nbsp;[&hellip;]

---

Using higher-order contracts to model session types

Giovanni Bernardi ; Matthew Hennessy.

Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show that higher-order web-service contracts can be used&nbsp;[&hellip;]

---