马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 重新审视非确定性和概率过程的二相似性及其模态逻辑。 (英语) Zbl 1331.68147号 学报信息。 52,第1期,61-106(2015). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 03B45号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息学报》52,第1期,第61-106页(2015年;Zbl 1331.68147) 全文: 内政部 链接
弗拉维奥·科拉迪尼;洛科·德尼古拉 过程代数的基于局部性的语义。 (英语) Zbl 0877.68081号 学报信息。 34,第4期,291-324(1997).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{R.De Nicola},《学报》第34卷第4期,第291--324页(1997年;Zbl 0877.68081) 全文: 内政部
迪加诺,皮尔保罗;洛科·德尼古拉;乌戈·蒙塔纳里 基于条件/事件系统的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) 全文: 内政部
洛科·德尼古拉 过渡系统的扩展等价。 (英语) Zbl 0636.68069号 学报信息。 24, 211-237 (1987). 审核人:A.马吉奥拉·谢蒂尼 MSC公司:68问题85 2005年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola},《信息学报》24,211--237(1987;Zbl 0636.68069) 全文: 内政部