Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom.

Rob van Glabbeek, Peter Hfner, Ross Horne

Browse the full LICS paper archive.