马可·贝尔纳多；弗拉维奥·科拉迪尼；卢卡·特塞 具有确定性或随机延迟的时间进程计算：在持续时间和无持续时间操作之间的交换。 （英语） 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） 全文： DOI程序
弗拉维奥·科拉迪尼；迪·贝拉迪尼、玛丽亚·丽塔；沃尔特·福格勒 公平进程代数中互斥算法的活性。 （英语） Zbl 1166.68030号 学报信息。 46，第3期，209-235（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，《信息学报》46，第3期，209--235（2009年；Zbl 1166.68030） 全文： DOI程序 链接
弗拉维奥·科拉迪尼；迪·贝拉迪尼、玛丽亚·丽塔；沃尔特·福格勒 具有非阻塞读取的进程代数中的时间和公平性。 （英语） Zbl 1206.68213号 Nielsen，Mogens（编辑）等人，SOFSEM 2009：计算机科学的理论与实践。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404193-204（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，Lect。注释计算。科学。5404193-204（2009年；Zbl 1206.68213） 全文： DOI程序 链接
迪莱塔·卡恰格拉诺；弗拉维奥·科拉迪尼；卡图西亚帕拉米德斯 公平\（\pi\）。 （英语） 兹比尔1277.68168 Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记175，第3期，3-26页（2007年）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Cacciagrano}等人，《电子》。注释Theor。计算。科学。175，编号3，3--26（2007；Zbl 1277.68168） 全文： DOI程序
科拉迪尼，F。；沃格勒，W。 流水线异步系统的性能。 （英语） Zbl 1106.68072号 J.日志。阿尔盖布。程序。 70，第2期，201-221（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{W.Vogler}，J.Log。阿尔盖布。程序。70，第2号，201--221（2007；Zbl 1106.68072） 全文： DOI程序
科拉迪尼，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） 全文： DOI程序 链接
科拉迪尼，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） 全文： DOI程序
科拉迪尼，F。；沃格勒，W。 使用PAFAS测量异步系统的性能。 （英语） Zbl 1080.68076号 西奥。计算。科学。 335，编号2-3，187-213（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{W.Vogler}，Theor。计算。科学。335，编号2--3，187-213（2005；Zbl 1080.68076） 全文： DOI程序 链接
弗拉维奥·科拉迪尼；迪可乐，恐龙 在定时过程中，紧急、懒惰和忙碌等待动作的表现力。 （英语） 兹比尔1260.68263 Aceto，Luca（编辑）等人，EXPRESS'00:第七届并发表达性国际研讨会。CONCUR 2000卫星研讨会会议记录，美国宾夕法尼亚州大学公园，2000年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》39，第1期，47-64（2003）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{D.Di-Cola}，电子。注释Theor。计算。科学。39，第1号，47--64（2003；Zbl 1260.68263） 全文： DOI程序
弗拉维奥·科拉迪尼；吉安·路易吉，法拉利；马可·皮斯托雷 关于持续动作的语义。 （英语） Zbl 0983.68116号 西奥。计算。科学。 269，编号1-2，47-82（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，Theor。计算。科学。269，编号1--2，47-82（2001；Zbl 0983.68116） 全文： DOI程序
科拉迪尼，F。；迪可乐，D。 通过对具有持续行动的过程的懒惰来测试紧迫性。 （英语） Zbl 0974.68132号 西奥。计算。科学。 258，编号1-2，393-407（2001）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}和\textit{D.Di-Cola}，Theor。计算。科学。258，编号1--2，393--407（2001；Zbl 0974.68132） 全文： DOI程序
弗拉维奥·科拉迪尼 过程代数中的绝对时间与相对时间。 （英语） Zbl 1046.68618号 Inf.计算。 156，编号1-2，122-172（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛F.Corradini｝，信息计算。156，编号1-2122-172（2000年；兹bl 1046.68618） 全文： DOI程序
弗拉维奥·科拉迪尼 关于过程代数的性能同余。 （英语） Zbl 0921.68031号 Inf.计算。 145，第2期，191-230（1998）.MSC公司：2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}，信息计算。145，第2号，191--230（1998；Zbl 0921.68031） 全文： DOI程序
弗拉维奥·科拉迪尼 关于全局时钟界限等价中的最粗同余。 （英语） Zbl 0902.68014号 西奥。计算。科学。 198，编号1-2，225-237（1998）.MSC公司：68平方米 PDF格式BibTeX公司 XML格式引用 \文本{F.Corradini}，Theor。计算。科学。198，编号1--2，225-237（1998；Zbl 0902.68014） 全文： DOI程序
弗拉维奥·科拉迪尼；吉安·路易吉，法拉利；马可·皮斯托雷 在时间计算中急切等待的懒惰行为？ （英语） Zbl 0911.68116号 Palamidessi，C.（编辑）等人，《快递》，97年。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第7、19页（1997年）。MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人，in：EXPRESS'97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔。第19页（1997年；Zbl 0911.68116） 全文： 链接
弗拉维奥·科拉迪尼 过程代数中的绝对时间与相对时间。 （英语） 兹比尔0911.68137 Palamidessi，C.（编辑）等人，《快递》，97年。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第7、20页（1997年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}，in：EXPRESS'97。会议论文，圣玛格丽塔·利古雷，意大利，1997年9月8-12日。阿姆斯特丹：爱思唯尔。20页（1997年；Zbl 0911.68137） 全文： 链接