A multiparty multi-session logic

Laura Bocchi, Romain Demangeon, Nobuko Yoshida