2 papers
cs.LO2026
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…
cs.LO2025
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…