Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.

Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira

Browse the full FCT paper archive.