Jan Friso，格鲁特;里奥·里维拉·威尔杜斯科;埃里克·P·德文克。 一种确定概率互模拟的有效算法。 （英语） Zbl 1461.68133号 算法（巴塞尔） 11，第9号，第131号论文，22页（2018年）.MSC公司：68问题85 第68季度87 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人，《算法（巴塞尔）》11，第9期，第131号论文，22页（2018；Zbl 1461.68133） 全文： 内政部
马可夫斯基，J。;达赫尼奥，P.R。;巴顿，J.C.M。;德文克，E.P。 协调实时和随机时间：对概率求精的需要。 （英语） Zbl 1259.68147号 正式Asp。计算。 24，第4-6号，497-518（2012）.MSC公司：68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{J.Markovski}等人，正式Asp。计算。24，编号4--6497--518（2012；Zbl 1259.68147） 全文： 内政部
S.安多瓦。;格罗内韦根，L.P.J。;德文克，E.P。 过程代数中的动态一致性：从范式到ACP。 （英语） Zbl 1213.68398号 科学。计算。程序。 76，第8期，711-735（2011）.MSC公司：68问题85 68号30 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人，科学。计算。程序。76，第8号，711--735（2011；Zbl 1213.68398） 全文： 内政部
S.安多瓦。;格罗内韦根，L.P.J。;德文克，E.P。 过程代数中的动态一致性：从范式到ACP。 （英语） Zbl 1347.68216号 Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，3-20（2009）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人，《电子》。理论注释。计算。科学。229，第2、3--20号（2009；Zbl 1347.68216） 全文： 内政部
西蒙娜·奥尔赞;埃里克·德文克 通过可靠网络签订多方合同。 （英语） Zbl 1335.68015号 Mauw，S.（ed.）等人，《第一届安全与信任管理国际研讨会论文集》（STM 2005），意大利米兰，2005年9月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》157，第3期，27-41（2006）。MSC公司：68平方米 68问题85 94A60 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}和\textit{E.de Vink}，电子。理论注释。计算。科学。157，第3号，27--41（2006；Zbl 1335.68015） 全文： 内政部
德巴克尔，J.W。;德文克，E.P。 具有度量语义的Rendez-vous。 （英语） Zbl 0818.68106号 新一代计算。 12，No.1，53-90（1993）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{E.P.de Vink}，新一代计算。12，第1号，53--90（1993；Zbl 0818.68106） 全文： 内政部