De Nicola，罗科;卢卡·迪·斯特法诺;奥马尔·因弗索;塞雷内拉·瓦利亚尼 觅食蚂蚁集体行为的直观建模和形式分析。 （英语） Zbl 07810883号 Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 44-61 (2023).MSC公司：92D50型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，Lect。注释计算。科学。14137，44-61（2023；Zbl 07810883） 全文： 内政部
De Nicola，罗科;埃尔南·梅尔格拉蒂 多方测试预订单。 （英语） Zbl 07639918号 日志。方法计算。科学。 19，第1期，第1号论文，31页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{H.Melgratti}，日志。方法计算。科学。19，第1期，第1号论文，第31页（2023年；Zbl 07639918） 全文： 内政部 arXiv公司
De Nicola，罗科;Gianluigi法拉利;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 特定于域的分布式系统工程的正式方法。 （英语） Zbl 1494.68022号 J.日志。阿尔盖布。方法计划。 111，文章ID 100511，37 p.（2020）.MSC公司：64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，J.Log。阿尔盖布。方法程序。111，文章ID 100511，第37页（2020；Zbl 1494.68022） 全文： 内政部 arXiv公司
叶希亚·阿卜杜·阿勒拉赫曼;De Nicola，罗科;米歇尔·洛雷蒂 集体适应系统的微积分及其行为理论。 （英语） Zbl 1430.68158号 Inf.计算。 268，文章ID 104457，31 p.（2019）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abd Alrahman}等人，《Inf.Compute》。268，文章ID 104457，31 p.（2019；Zbl 1430.68158） 全文： 内政部
叶希亚·阿卜杜·阿勒拉赫曼;De Nicola，罗科;米歇尔·洛雷蒂 论基于属性的交流的力量。 （英语） Zbl 1347.68022号 Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，1-18（2016）。MSC公司：64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abd Alrahman}等人，Lect。注释计算。科学。9688，1-18（2016年；兹bl 1347.68022） 全文： 内政部 arXiv公司 哈尔
马可·贝尔纳多;De Nicola，罗科;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 （英语） Zbl 1358.68210号 Inf.计算。 225, 29-82 (2013).MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人，《信息计算》。225，29-82（2013；Zbl 1358.68210） 全文： 内政部
弗拉维奥·科拉迪尼;De Nicola，罗科;安娜·拉布拉 非确定性正则表达式的有限公理化。 （英语） Zbl 0945.68122号 西奥。通知。申请。 33，No.4-5，447-465（1999）.MSC公司：68问题55 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，Theor。通知。申请。33，编号4--5，447--465（1999；Zbl 0945.68122） 全文： 内政部 欧洲DML 链接
米歇尔·博雷尔;De Nicola，罗科;罗萨里奥·普格利泽 过程的基本观察结果。 （英语） Zbl 0928.68013号 Inf.计算。 149，第1号，77-98（1999）.MSC公司：68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人，《信息计算》。149，第1号，77--98（1999；Zbl 0928.68013） 全文： 内政部
皮耶保罗·德加诺;De Nicola，罗科;乌戈·蒙塔纳里 互模拟的通用公理。 （英语） Zbl 0782.68044号 西奥。计算。科学。 114，第1期，63-91（1993）. 审核人：A.Maggiolo-Schettini（比萨） MSC公司：2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，Theor。计算。科学。114，编号1，63--91（1993；Zbl 0782.68044） 全文： 内政部
P.德加诺。;R·德·尼古拉。;美国蒙塔纳里。 CCS的部分排序语义。 （英语） Zbl 0701.68073号 西奥。计算。科学。 75，第3期，223-262（1990年）.MSC公司：68问题55 06年06月06日 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，Theor。计算。科学。75，第3号，223--262（1990；Zbl 0701.68073） 全文： 内政部
皮耶保罗·德加诺;De Nicola，罗科;乌戈·蒙塔纳里 基于条件/事件系统的CCS分布式操作语义。 （英语） Zbl 0656.68061号 学报信息。 26，编号1-2，59-91（1988）.MSC公司：68问题85 第68页第25页 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，《信息学报》第26期，第1--2、59-91号（1988年；Zbl 0656.68061） 全文： 内政部
R·德·尼古拉。;轩尼诗，M.C.B。 测试过程的等效性。 （英语） Zbl 0985.68518号 西奥。计算。科学。 34，编号1-2，83-133（1984）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{M.C.B.Hennessy}，Theor。计算。科学。34、83--133（1984年；Zbl 0985.68518） 全文： 内政部