41 citations · 59 across the 4 of their papers we have counts for
4 papers
A uniform characterisation of the (a)synchronous must-preorder
Giovanni Bernardi, Hugo Férée, Gaëtan Lopez
In the setting of message passing software, De Nicola and Hennessy must-preorder defines when a program improves on another one. Since this preorder does not come equipped with a v…
Constructive characterisations of the must-preorder for asynchrony
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue +1
De Nicola and Hennessy's must-preorder is a contextual refinement which states that a server q refines a server p if all clients satisfied by p are also satisfied by q. Owing to th…
Mutually Testing Processes
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.…
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 del…