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
Yuxin Deng ; Matthew Hennessy ; Rob van Glabbeek ; Carroll Morgan.
In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice. They concluded with two problems that have remained open throughout the years, namely to find complete axiomatisations and alternative […]
Published on October 28, 2008
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