琳达·布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基;罗伯塔·戈里;弗朗西丝卡·列维;保罗·米拉佐 利用SOS语义的模块性定义反应系统的定量扩展。 (英语) Zbl 1521.68055号 Aranha,Claus(编辑)等人,《自然计算的理论与实践》。第十届国际会议,TPNC 2021,日本筑波,2021年12月7日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13082, 15-32 (2021).MSC公司:2007年第68季度 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人,Lect。注释计算。科学。13082,15--32(2021;Zbl 1521.68055) 全文: 内政部
琳达·布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基 反应系统的逻辑和图形框架。 (英语) Zbl 1504.68065号 西奥。计算。科学。 875, 1-27 (2021).MSC公司:2007年第68季度 03B70号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{L.Brodo}等人,Theor。计算。科学。875,1--27(2021;Zbl 1504.68065) 全文: 内政部
琳达·布罗多;卡洛斯·奥拉特 用于多方交互的基于约束的语言。 (英语) 兹伯利07313964 Nalon,Cláudia(编辑)等人,《逻辑和语义框架及其应用第15届国际研讨会论文集》,LSFA 2020,虚拟研讨会,2020年8月27日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。351, 25-50 (2020).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}和\textit{C.Olarte},电子。注释Theor。计算。科学。351、25-50(2020;Zbl 07313964) 全文: 内政部
安德烈亚·贝尔尼尼;琳达·布罗多;皮耶保罗·德加诺;莫雷诺,法拉斯基;戴安娜·赫米思 生物过程的过程计算。 (英语) Zbl 07772437号 自然计算。 17,第2号,345-373(2018).MSC公司:92立方厘米 92-08 PDF格式BibTeX公司 XML格式引用 \textit{A.Bernini}等人,《自然计算》。17,编号2,345--373(2018;Zbl 07772437) 全文: 内政部
琳达·布罗多 关于编码移动环境的\(\pi\)-演算的表达性。 (英语) Zbl 1387.68164号 数学。结构。计算。科学。 28,第2期,202-240(2018).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo},数学。结构。计算。科学。28,第2号,202--240(2018;Zbl 1387.68164) 全文: 内政部
博迪,C。;布罗多,L。;Gori,R。;列维,F。;A.贝尔尼尼。;D.赫米思。 膜计算的静态分析,提供全局发生计数信息。 (英语) 兹比尔1383.92032 西奥。计算。科学。 696, 11-51 (2017).MSC公司:92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。696,11--51(2017;Zbl 1383.92032) 全文: 内政部 链接
博迪,恰拉;琳达·布罗多;罗伯塔·戈里;戴安娜·赫米思;弗朗西丝卡·列维 膜结石的整体发生计数分析。 (英语) Zbl 1417.68118号 Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修改选定的论文。查姆:施普林格。莱克特。注释计算。科学。9527, 179-200 (2015).MSC公司:第68季度85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Lect。注释计算。科学。9527179-200(2015年;Zbl 1417.68118) 全文: 内政部 链接