1. Barbanera, F., Dezani-Ciancaglini, M., Lanese, I., Tuosto, E.: Composition and decomposition of multiparty sessions. J. Log. Algebraic Meth. Program. 119, 100620 (2021)
2. Lecture Notes in Computer Science;F Barbanera,2020
3. Basile, D., ter Beek, M.H., Pugliese, R.: Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services. Log. Meth. Comput. Sci. 16(2), 2–3 (2020)
4. Lecture Notes in Computer Science;L Bocchi,2010
5. Bocchi, L., Melgratti, H.C., Tuosto, E.: On resolving non-determinism in choreographies. Log. Methods Comput. Sci. 16(3) (2020)