Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Nobuko Yoshida, Kohei Honda. Monitoring Networks through Multiparty Session Types. Dirk Beyer; Michele Boreale. 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOO
HAL Archives-Ouvertes,
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Nobuko Yoshida, Kohei Honda. Monitoring Networks through Multiparty Session Types.