马尔科·贝尔纳多;弗拉维奥·科拉迪尼;卢卡·特塞 具有确定性或随机延迟的时间进程计算:在持续时间和无持续时间操作之间的交换。 (英语) Zbl 1339.68182号 西奥。计算。科学。 629, 2-39 (2016).MSC公司:第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,Theor。计算。科学。629,2--39(2016年;Zbl 1339.68182) 全文: 内政部
科拉迪尼,F。;M.R.迪·贝拉迪尼。;沃格勒,W。 系统计算中动作的公平性。 (英语) Zbl 1097.68087号 学报信息。 43,第2期,73-130(2006).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,《信息学报》第43卷第2期,第73-130页(2006年;Zbl 1097.68087) 全文: 内政部 链接
科拉迪尼,F。;迪贝拉尔迪尼,M.R。;沃格勒,W。 系统计算中组件的公平性。 (英语) Zbl 1092.68065号 西奥。计算。科学。 356,第3期,291-324(2006).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,Theor。计算。科学。356,第3号,291--324(2006;Zbl 1092.68065) 全文: 内政部
弗拉维奥·科拉迪尼 过程代数中的绝对时间与相对时间。 (英语) Zbl 1046.68618号 Inf.计算。 156,编号1-2,122-172(2000).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini},信息计算。156,编号1--2,122-172(2000;Zbl 1046.68618) 全文: 内政部
弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 非确定性正则表达式的模型。 (英语) Zbl 0958.68090号 J.计算。系统。科学。 59,第3期,412-449(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,《计算杂志》。系统。科学。59,第3号,412--449(1999;Zbl 0958.68090) 全文: 内政部
弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 非确定性正则表达式的有限公理化。 (英语) 兹比尔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 链接
弗拉维奥·科拉迪尼 过程代数中的绝对时间与相对时间。 (英语) Zbl 0911.68137号 Palamidessi,C.(编辑)等人,《快递》,97年。会议论文,圣玛格丽塔·利古雷,意大利,1997年9月8-12日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。第7、20页(1997年)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini},in:EXPRESS'97。会议论文,圣玛格丽塔·利古雷,意大利,1997年9月8-12日。阿姆斯特丹:爱思唯尔。20页(1997年;Zbl 0911.68137) 全文: 链接