Multiparty Session Types (MPST) provide a rigorous formalism for specifying and verifying the correctness of communications in distributed systems.

Different types of upward communication in organizations have been examined from various points of view. However, few studies have directly discussed the difference between these types. This paper ...