1 paper
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…