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}等人，《电子》。注释Theor。计算。科学。229，第2、3--20号（2009；Zbl 1347.68216） 全文： 内政部