佩德罗·R·达吉尼奥。;比尼亚姆·盖布雷迈克尔 时间自动机与互模拟中包含的截止日期的最粗一致性。 （英语） Zbl 1134.68383号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653125-140（2005）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{B.Gebremichael}，莱克特。注释计算。科学。3653125-140（2005年；Zbl 1134.68383） 全文： 内政部
佩德罗·R·达吉尼奥。;Joost-Pieter卡托恩 随机系统理论。二： 进程代数。 （英语） Zbl 1106.68073号 Inf.计算。 203，第1期，39-74（2005）.MSC公司：68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen}，Inf.Compute。203，第1号，39--74（2005；Zbl 1106.68073） 全文： 内政部
佩德罗·R·达吉尼奥。;Joost-Pieter卡托恩 随机系统理论。一： 随机自动机。 （英语） Zbl 1105.68061号 Inf.计算。 203，第1期，1-38页（2005年）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen}，Inf.Compute。203，第1号，1--38（2005；Zbl 1105.68061） 全文： 内政部