Brodo, Linda; Bruni, Roberto; Falaschi, Moreno A process algebraic approach to reaction systems. (English) Zbl 1517.68115 Theor. Comput. Sci. 881, 62-82 (2021). MSC: 68Q07 68Q85 PDFBibTeX XMLCite \textit{L. Brodo} et al., Theor. Comput. Sci. 881, 62--82 (2021; Zbl 1517.68115) Full Text: DOI
Brodo, Linda; Bruni, Roberto; Falaschi, Moreno A logical and graphical framework for reaction systems. (English) Zbl 1504.68065 Theor. Comput. Sci. 875, 1-27 (2021). MSC: 68Q07 03B70 68N17 68Q55 PDFBibTeX XMLCite \textit{L. Brodo} et al., Theor. Comput. Sci. 875, 1--27 (2021; Zbl 1504.68065) Full Text: DOI
Bodei, Chiara; Brodo, Linda; Bruni, Roberto A formal approach to open multiparty interactions. (English) Zbl 1411.68074 Theor. Comput. Sci. 763, 38-65 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Bodei} et al., Theor. Comput. Sci. 763, 38--65 (2019; Zbl 1411.68074) Full Text: DOI arXiv
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo cJoin: Join with communicating transactions. (English) Zbl 1361.68060 Math. Struct. Comput. Sci. 25, No. 3, 566-618 (2015). MSC: 68N30 68N20 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Math. Struct. Comput. Sci. 25, No. 3, 566--618 (2015; Zbl 1361.68060) Full Text: DOI
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
Baldan, P.; Bracciali, A.; Bruni, R. A semantic framework for open processes. (English) Zbl 1132.68042 Theor. Comput. Sci. 389, No. 3, 446-483 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Theor. Comput. Sci. 389, No. 3, 446--483 (2007; Zbl 1132.68042) Full Text: DOI
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro Observational congruences for dynamically reconfigurable tile systems. (English) Zbl 1080.68075 Theor. Comput. Sci. 335, No. 2-3, 331-372 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} et al., Theor. Comput. Sci. 335, No. 2--3, 331--372 (2005; Zbl 1080.68075) Full Text: DOI Link
Bruni, Roberto; Montanari, Ugo Dynamic connectors for concurrency. (English) Zbl 0996.68073 Theor. Comput. Sci. 281, No. 1-2, 131-176 (2002). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Theor. Comput. Sci. 281, No. 1--2, 131--176 (2002; Zbl 0996.68073) Full Text: DOI