Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio Composition of synchronous communicating systems. (English) Zbl 07741956 J. Log. Algebr. Methods Program. 135, Article ID 100890, 33 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 135, Article ID 100890, 33 p. (2023; Zbl 07741956) Full Text: DOI
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio On composing communicating systems. (English) Zbl 07811913 Aubert, Clément (ed.) et al., Proceedings of the 15th interaction and concurrency experience workshop, ICE 2022, Lucca, Italy, June 17, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 53-68 (2022). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Barbanera} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 53--68 (2022; Zbl 07811913) Full Text: DOI arXiv
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio Composition and decomposition of multiparty sessions. (English) Zbl 1462.68120 J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 68M14 PDFBibTeX XMLCite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021; Zbl 1462.68120) Full Text: DOI HAL