Programming language implementations with multiparty session types by Yoshida, N

“…The theory of MPST guarantees that processes following a predefined communication protocol (a multiparty session) are free from communication errors and deadlocks. …”