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
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo Tiles for Reo. (English) Zbl 1253.68090 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 37-55 (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Arbab} et al., Lect. Notes Comput. Sci. 5486, 37--55 (2009; Zbl 1253.68090) Full Text: DOI Link
Bruni, Roberto; Lanese, Ivan Parametric synchronizations in mobile nominal calculi. (English) Zbl 1146.68051 Theor. Comput. Sci. 402, No. 2-3, 102-119 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{I. Lanese}, Theor. Comput. Sci. 402, No. 2--3, 102--119 (2008; Zbl 1146.68051) Full Text: DOI
Bruni, Roberto; Lanese, Ivan PRISMA: a mobile calculus with parametric synchronization. (English) Zbl 1211.68025 Montanari, Ugo (ed.) et al., Trustworthy global computing. Second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75333-9/pbk). Lecture Notes in Computer Science 4661, 132-149 (2007). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{I. Lanese}, Lect. Notes Comput. Sci. 4661, 132--149 (2007; Zbl 1211.68025) Full Text: DOI
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo A basic algebra of stateless connectors. (English) Zbl 1153.68331 Theor. Comput. Sci. 366, No. 1-2, 98-120 (2006). MSC: 68M14 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Theor. Comput. Sci. 366, No. 1--2, 98--120 (2006; Zbl 1153.68331) Full Text: DOI
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo Complete axioms for stateless connectors. (English) Zbl 1151.68511 Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 98-113 (2005). MSC: 68Q85 68M14 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} et al., Lect. Notes Comput. Sci. 3629, 98--113 (2005; Zbl 1151.68511) Full Text: DOI
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo New insights of architectural connectors. (English) Zbl 1094.68009 Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 367-379 (2004). MSC: 68M14 PDFBibTeX XMLCite \textit{R. Bruni} et al., IFIP, Int. Fed. Inf. Process. 155, 367--379 (2004; Zbl 1094.68009)