References

1. M. Coppo, M. Dezani-Ciancaglini, L. Padovani & N. Yoshida (2015): A Gentle Introduction to Multiparty Asynchronous Session Types, doi:10.1007/978-3-319-18941-3_4.
2. M. Coppo, M. Dezani-Ciancaglini, N. Yoshida & L. Padovani (2016): Global Progress for Dynamically Interleaved Multiparty Sessions. MSCS 26(2), doi:10.1017/S0960129514000188.
3. M. Dezani-Ciancaglini, S. Ghilezan, S. Jakši\'c, J. Pantovi\'c & N. Yoshida (2016): Precise subtyping for synchronous multiparty sessions. In: PLACES 2015, doi:10.4204/EPTCS.203.3.
4. K. Honda, N. Yoshida & M. Carbone (2008): Multiparty asynchronous session types. In: POPL, doi:10.1145/1328438.1328472. Full version: Volume 63, Issue 1, March 2016 (9), pages 1-67, JACM.
5. J. Lange, E. Tuosto & N. Yoshida (2015): From Communicating Machines to Graphical Choreographies. In: POPL, doi:10.1145/2676726.2676964.
6. A. Scalas & N. Yoshida (2017): Multiparty Session Types, Beyond Duality. Technical Report. Imperial College London. Available at https://www.doc.ic.ac.uk/research/technicalreports/2017/.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org