Global Escape in Multiparty Sessions. (2015)

by Sara Capecchi, Elena Giachino, Nobuko Yoshida
Venue:Mathematical Structures in Computer Science,