3 results
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 […]
Published on June 29, 2016
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 […]
Published on June 26, 2014
Andrea Cerone ; Matthew Hennessy.
We propose a process calculus to model high level wireless systems, where the topology of a network is described by a digraph. The calculus enjoys features which are proper of wireless networks, namely broadcast communication and probabilistic behaviour. We first focus on the problem of composing […]
Published on September 25, 2013