Fair Refinement for Asynchronous Session Types.

Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Browse the full FOSSACS paper archive.