1. ITU, Itu-t recommendation z. 120. Message sequence chart (MSC), 2011.
2. Realizability and verification of MSC graphs;Alur;Theor. Comput. Sci.,2005
3. Multiparty asynchronous session types;Honda,2008
4. Multiparty asynchronous session types;Honda;J. ACM,2016
5. Deadlock-freedom-by-design: multiparty asynchronous global programming;Carbone,2013