1 citations · 1 across the 1 of their papers we have counts for
1 paper
Lorenzo Gheri, Nobuko Yoshida
Multiparty session types (MPST) are a specification and verification framework for distributed message-passing systems. The communication protocol of the system is specified as a g…