1 paper
Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component wi…