哈迪姆，美国。;P.J.L.Cuijpers。 混合系统过程代数中的时滞修复。 （英语） Zbl 1282.68174号 西奥。计算。科学。 446, 20-47 (2012). 审核人：Antti Valmari（坦佩雷） MSC公司：68问题85 2010年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛U.Khadim｝和\textit｛P.J.L.Cuijpers｝，Theor。计算。科学。446、20--47（2012年；Zbl 1282.68174） 全文： DOI程序
巴顿，J.C.M。;van Beek博士。;P.J.L.Cuijpers。;Reniers，医学硕士。;罗达，J.E。;R.R.H.希弗勒。;托尼森，R.J.M。 基于模型的嵌入式系统工程使用混合进程代数Chi。 （英语） Zbl 1279.68245号 Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209，21-53（2008）。MSC公司：68问题85 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人，《电子》。注释Theor。计算。科学。209、21-53（2008年；Zbl 1279.68245） 全文： DOI程序
P.J.L.Cuijpers。;雷尼尔斯，M.A。 迷失在翻译中：混合时间流与实时转换。 （英语） Zbl 1143.68480号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981116-129（2008）。MSC公司：68问题85 65年第68季度 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.J.L.Cuijpers}和\textit{M.A.Reniers}，莱克特。票据计算。科学。4981116-129（2008年；Zbl 1143.68480） 全文： DOI程序
P.J.L.Cuijpers。;雷尼尔斯，M.A。 混合过程的拓扑方面：使用非标准分析的拟议处理方法。 （英语） Zbl 1316.68091号 Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162153-158（2006）。MSC公司：68问题85 03H10年上半年 PDF格式BibTeX公司 XML格式引用 \textit{P.J.L.Cuijpers}和\textit{M.A.Reniers}，电子。注释Theor。计算。科学。162153-158（2006年；Zbl 1316.68091） 全文： DOI程序
范登布兰德，P.C.W。;Reniers，医学硕士。;P.J.L.Cuijpers。 混合过程的线性化。 （英语） Zbl 1088.68137号 J.日志。阿尔盖布。程序。 68，编号1-2，54-104（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛P.C.W.van den Brand｝等人，J.日志。阿尔盖布。程序。68，编号1--2，54-104（2006；Zbl 1088.68137） 全文： DOI程序
P.J.L.Cuijpers。;Reniers，医学硕士。 混合进程代数。 （英语） Zbl 1090.68071号 J.日志。阿尔盖布。程序。 62，第2期，191-245（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.J.L.Cuijpers}和\textit{M.A.Reniers}，J.Log。阿尔盖布。程序。62，第2号，191--245（2005；Zbl 1090.68071） 全文： DOI程序