Monitoring Networks through Multiparty Session Types.

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Browse the full FORTE paper archive.