琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基 反应系统的过程代数方法。 （英语） 兹伯利1517.68115 西奥。计算。科学。 881, 62-82 (2021).MSC公司：2007年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人，Theor。计算。科学。881，62-82（2021；Zbl 1517.68115） 全文： 内政部
琳达·布罗多;卡洛斯·奥拉特 用于多方交互的基于约束的语言。 （英语） Zbl 07313964号 Nalon，Cláudia（编辑）等人，《逻辑和语义框架及其应用第15届国际研讨会论文集》，LSFA 2020，虚拟研讨会，2020年8月27日至28日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。351, 25-50 (2020).MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}和\textit{C.Olarte}，电子。理论注释。计算。科学。351、25-50（2020；Zbl 07313964） 全文： 内政部
奇亚拉博迪;琳达·布罗多;罗伯托·布鲁尼 这个链接-开放多方交互的微积分。 （英语） Zbl 1496.68218号 Inf.计算。 275，文章ID 104587，38 p.（2020）.MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Inf.计算。275，文章ID 104587，38页（2020；兹bl 1496.68218） 全文： 内政部
奇亚拉博迪;琳达·布罗多;罗伯托·布鲁尼 开放多方交互的正式方法。 （英语） Zbl 1411.68074号 西奥。计算。科学。 763, 38-65 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Theor。计算。科学。763，38-65（2019年；Zbl 1411.68074） 全文： 内政部 arXiv公司
安德烈亚·贝尔尼尼;琳达·布罗多;迪加诺，皮尔保罗;莫雷诺，法拉斯基;戴安娜·赫米思 生物过程的过程结石。 （英语） Zbl 1530.92069号 自然计算。 17，第2号，345-373（2018）.MSC公司：92立方厘米 92-08 PDF格式BibTeX公司 XML格式引用 \textit{A.Bernini}等人，《自然计算》。17，编号2，345--373（2018；Zbl 1530.92069） 全文： 内政部
琳达·布罗多 关于编码移动环境的\（\pi\）-演算的表达性。 （英语） Zbl 1387.68164号 数学。结构。计算。科学。 28，第2期，202-240（2018）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}，数学。结构。计算。科学。28，第2号，202--240（2018；Zbl 1387.68164） 全文： 内政部
博迪，C。;布罗多，L。;R.戈里。;列维，F。;Bernini，A。;D.赫米思。 膜计算的静态分析，提供全局发生计数信息。 （英语） Zbl 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） 全文： 内政部 链接
奇亚拉博迪;琳达·布罗多;里卡多·福卡迪 用于攻击重建的静态证据。 （英语） Zbl 1437.94051号 Bodei，Chiara（编辑）等人，《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 162-182 (2015).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。注释计算。科学。9465、162--182（2015年；Zbl 1437.94051） 全文： 内政部
奇亚拉博迪;琳达·布罗多;戴维·齐亚鲁吉 广义布尔网络的控制流分析。 （英语） Zbl 1283.92058号 Feret，Jéróme（编辑）等人，第二届静态分析和系统生物学国际研讨会论文集（SASB 2011），意大利威尼斯，2011年9月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记284，3-22（2012）。MSC公司：92D10型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，《电子》。理论注释。计算。科学。284、3--22（2012年；Zbl 1283.92058） 全文： 内政部
琳达·布罗多 关于\（\pi\）-演算和移动环境的表现力。 （英语） Zbl 1308.68082号 Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。计算机科学课堂讲稿6486，44-59（2011）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}，莱克特。注释计算。科学。6486、44-59（2011年；Zbl 1308.68082） 全文： 内政部