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
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. (English) Zbl 1362.68213 J. Log. Algebr. Methods Program. 88, 99-120 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Giachino} et al., J. Log. Algebr. Methods Program. 88, 99--120 (2017; Zbl 1362.68213) Full Text: DOI Link
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio A new strategy for distributed compensations with interruption in long-running transactions. (English) Zbl 1312.68126 Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012). MSC: 68Q55 68P15 68Q42 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 7137, 42--60 (2012; Zbl 1312.68126) Full Text: DOI
Lanese, Ivan Exploiting user-definable synchronizations in graph transformation. (English) Zbl 1283.68186 Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 27-38 (2008). MSC: 68Q42 05C65 PDFBibTeX XMLCite \textit{I. Lanese}, Electron. Notes Theor. Comput. Sci. 211, 27--38 (2008; Zbl 1283.68186) Full Text: DOI