Search

• < Previous
• 1
• Next >

---

Permission-Based Separation Logic for Message-Passing Concurrency

Adrian Francalanza ; Julian Rathke ; Vladimiro Sassone.

We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission- resources and define a reduction semantics for this extended language. This provides a foundation for interpreting&nbsp;[&hellip;]

---

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;]

---