Global progress for dynamically interleaved multiparty sessions

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani. Global progress for dynamically interleaved multiparty sessions. Mathematical Structures in Computer Science, 26(2):238-302, 2016. [doi]

Authors

Mario Coppo

This author has not been identified. Look up 'Mario Coppo' in Google

Mariangiola Dezani-Ciancaglini

This author has not been identified. It may be one of the following persons: Look up 'Mariangiola Dezani-Ciancaglini' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google

Luca Padovani

This author has not been identified. Look up 'Luca Padovani' in Google