Search

• < Previous
• 1
• Next >

---

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

Adrian Francalanza ; Edsko DeVries ; Matthew Hennessy.

We define a pi-calculus variant with a costed semantics where channels are treated as resources that must explicitly be allocated before they are used and can be deallocated when no longer required. We use a substructural type system tracking permission transfer to construct coinductive proof&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;]

---