佩德罗·R·达吉尼奥。;丹尼尔·格布勒;李,马蒂亚斯·戴维 概率转移系统规范的通用SOS理论。 (英语) Zbl 1344.68163号 Inf.计算。 24976-109(2016)。MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,《信息计算》。249、76-109(2016年;Zbl 1344.68163) 全文: 内政部
马可夫斯基,J。;达赫尼奥,P.R。;巴顿,J.C.M。;德文克,E.P。 协调实时和随机时间:对概率求精的需要。 (英语) 兹比尔1259.68147 正式Asp。计算。 24,第4-6号,497-518(2012)。MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Markovski}等人,正式Asp。计算。24,编号4--6497--518(2012;Zbl 1259.68147) 全文: 内政部
佩德罗·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) 全文: 内政部
佩德罗·达吉尼奥。;Verhoef,克里斯 带有不等式的过程代数中的一般保守扩张定理。 (英语) Zbl 0901.68111号 西奥。计算。科学。 177,第2期,351-380(1997)。MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{C.Verhoef},Theor。计算。科学。177,编号2,351--380(1997;Zbl 0901.68111) 全文: 内政部