The Different Shades of Infinite Session Types.

Simon J. Gay, Diogo Poas, Vasco T. Vasconcelos

Browse the full FOSSACS paper archive.