3 results
Giovanni Bernardi ; Matthew Hennessy.
In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter. In the domain of web services this has been recast, with processes viewed as servers and tests as clients. In this way […]
Published on April 14, 2015
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 ; Massimo Merro.
We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions. Based on a reduction semantics for the calculus we define a contextual equivalence to compare the external behaviour of […]
Published on March 31, 2015