Constructive characterisations of the MUST-preorder for asynchrony.

Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Lo Stefanesco

Browse the full ESOP paper archive.