Nobuko Yoshida, Fangyi Zhou 0002, Francisco Ferreira 0001. Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. In Evripidis Bampis, Aris Pagourtzis, editors, Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings. Volume 12867 of Lecture Notes in Computer Science, pages 18-35, Springer, 2021.
Abstract is missing.