Fair Termination of Multiparty Sessions

Luca Ciccone, Francesco Dagnino, Luca Padovani

There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed by other participants…