On the Almost-Sure Termination of Binary Sessions.

Ugo Dal Lago, Luca Padovani

Browse the full PPDP paper archive.